Details

Time bar (total: 51.2s)

sample50.0ms

Algorithm
intervals
Results
38.0ms256×body80valid

simplify9.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
9.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10))

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.2b

localize37.0ms

Local error

Found 3 expressions with local error:

26.8b
(sqrt (+ (* re re) (* im im)))
0.6b
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10))
0.0b
(+ (* re re) (* im im))

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
24×times-frac
22×log-pow
21×pow1
17×add-sqr-sqrt
16×*-un-lft-identity add-cube-cbrt
6×sqrt-pow1 pow1/2 associate-/l*
5×add-cbrt-cube add-exp-log add-log-exp
4×associate-/r* sqrt-div
3×flip3-+ sqrt-prod flip-+ insert-posit16
2×log-div div-sub
1×cbrt-undiv +-commutative rem-sqrt-square clear-num sum-log frac-2neg div-exp div-inv
Counts
3 → 77
Calls
3 calls:
Slowest
47.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10))
12.0ms
(sqrt (+ (* re re) (* im im)))
7.0ms
(+ (* re re) (* im im))

series308.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
198.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10))
62.0ms
(sqrt (+ (* re re) (* im im)))
48.0ms
(+ (* re re) (* im im))

simplify2.8s

Counts
76 → 86
Calls
76 calls:
Slowest
446.0ms
(/ (* (* (log (sqrt (+ (* re re) (* im im)))) (log (sqrt (+ (* re re) (* im im))))) (log (sqrt (+ (* re re) (* im im))))) (* (* (log 10) (log 10)) (log 10)))
314.0ms
(/ (log (sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))) (log 10))
302.0ms
(sqrt (+ (pow (* re re) 3) (pow (* im im) 3)))
254.0ms
(/ (log (sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))) (log 10))
235.0ms
(sqrt (- (* (* re re) (* re re)) (* (* im im) (* im im))))

prune1.1s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 5.3b

localize36.0ms

Local error

Found 4 expressions with local error:

27.8b
(log (+ (* re re) (* im im)))
0.4b
(/ (log (+ (* re re) (* im im))) (sqrt (log 10)))
0.3b
(* (/ 1/2 (sqrt (log 10))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10))))
0.0b
(+ (* re re) (* im im))

rewrite69.0ms

Algorithm
rewrite-expression-head
Rules
89×times-frac
83×add-sqr-sqrt
54×sqrt-prod
53×*-un-lft-identity add-cube-cbrt
34×pow1
32×associate-*r*
28×log-pow
25×associate-*l*
19×add-exp-log
18×add-cbrt-cube
9×unswap-sqr
7×associate-/r*
6×add-log-exp
5×cbrt-undiv div-exp
4×log-div prod-exp cbrt-unprod insert-posit16 associate-/l*
3×log-prod flip3-+ flip-+ div-inv
2×div-sub
1×frac-times +-commutative clear-num sum-log frac-2neg rem-log-exp pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 168
Calls
4 calls:
Slowest
29.0ms
(* (/ 1/2 (sqrt (log 10))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10))))
20.0ms
(/ (log (+ (* re re) (* im im))) (sqrt (log 10)))
10.0ms
(log (+ (* re re) (* im im)))
7.0ms
(+ (* re re) (* im im))

series628.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
279.0ms
(/ (log (+ (* re re) (* im im))) (sqrt (log 10)))
221.0ms
(* (/ 1/2 (sqrt (log 10))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10))))
80.0ms
(log (+ (* re re) (* im im)))
48.0ms
(+ (* re re) (* im im))

simplify8.6s

Counts
174 → 180
Calls
174 calls:
Slowest
733.0ms
(* (* (* (/ 1/2 (sqrt (log 10))) (/ 1/2 (sqrt (log 10)))) (/ 1/2 (sqrt (log 10)))) (* (* (/ (log (+ (* re re) (* im im))) (sqrt (log 10))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10)))))
423.0ms
(/ (* (* (log (+ (* re re) (* im im))) (log (+ (* re re) (* im im)))) (log (+ (* re re) (* im im)))) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10))))
371.0ms
(log (+ (pow (* re re) 3) (pow (* im im) 3)))
366.0ms
(* (/ (* (* 1/2 1/2) 1/2) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10)))) (/ (* (* (log (+ (* re re) (* im im))) (log (+ (* re re) (* im im)))) (log (+ (* re re) (* im im)))) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10)))))
340.0ms
(* (/ (* (* 1/2 1/2) 1/2) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10)))) (* (* (/ (log (+ (* re re) (* im im))) (sqrt (log 10))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10)))))

prune2.0s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 5.1b

localize48.0ms

Local error

Found 4 expressions with local error:

27.8b
(log (+ (* re re) (* im im)))
0.3b
(* (/ 1/2 (sqrt (log 10))) (log (+ (* re re) (* im im))))
0.3b
(* (* (/ 1/2 (sqrt (log 10))) (log (+ (* re re) (* im im)))) (/ 1 (sqrt (log 10))))
0.0b
(+ (* re re) (* im im))

rewrite87.0ms

Algorithm
rewrite-expression-head
Rules
49×add-exp-log
44×add-sqr-sqrt times-frac
36×*-un-lft-identity add-cube-cbrt
30×add-cbrt-cube
29×associate-*r*
26×associate-*l*
25×sqrt-prod
22×prod-exp
19×pow1
12×cbrt-unprod
11×div-exp
9×log-prod
8×log-pow
6×cbrt-undiv add-log-exp
4×pow-prod-down associate-*l/ insert-posit16
3×distribute-rgt-in rec-exp distribute-lft-in 1-exp unswap-sqr
2×log-div flip3-+ *-commutative flip-+ div-inv
1×frac-times +-commutative sum-log rem-log-exp associate-*r/ un-div-inv
Counts
4 → 139
Calls
4 calls:
Slowest
48.0ms
(* (* (/ 1/2 (sqrt (log 10))) (log (+ (* re re) (* im im)))) (/ 1 (sqrt (log 10))))
17.0ms
(* (/ 1/2 (sqrt (log 10))) (log (+ (* re re) (* im im))))
10.0ms
(log (+ (* re re) (* im im)))
9.0ms
(+ (* re re) (* im im))

series962.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
478.0ms
(+ (* re re) (* im im))
265.0ms
(* (/ 1/2 (sqrt (log 10))) (log (+ (* re re) (* im im))))
167.0ms
(* (* (/ 1/2 (sqrt (log 10))) (log (+ (* re re) (* im im)))) (/ 1 (sqrt (log 10))))
51.0ms
(log (+ (* re re) (* im im)))

simplify10.6s

Counts
115 → 151
Calls
115 calls:
Slowest
504.0ms
(* (* (/ (* (* 1/2 1/2) 1/2) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10)))) (* (* (log (+ (* re re) (* im im))) (log (+ (* re re) (* im im)))) (log (+ (* re re) (* im im))))) (/ (* (* 1 1) 1) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10)))))
490.0ms
(+ (log (* (/ 1/2 (sqrt (log 10))) (log (+ (* re re) (* im im))))) (- (log 1) (log (sqrt (log 10)))))
437.0ms
(+ (+ (log (/ 1/2 (sqrt (log 10)))) (log (log (+ (* re re) (* im im))))) (- (log 1) (log (sqrt (log 10)))))
433.0ms
(+ (+ (- (log 1/2) (log (sqrt (log 10)))) (log (log (+ (* re re) (* im im))))) (- (log 1) (log (sqrt (log 10)))))
421.0ms
(+ (+ (log (/ 1/2 (sqrt (log 10)))) (log (log (+ (* re re) (* im im))))) (- 0 (log (sqrt (log 10)))))

prune1.9s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 5.1b

localize51.0ms

Local error

Found 4 expressions with local error:

27.8b
(log (+ (* re re) (* im im)))
0.4b
(/ (log (+ (* re re) (* im im))) (sqrt (log 10)))
0.4b
(* (sqrt 1/2) (* (/ (sqrt 1/2) (sqrt (log 10))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10)))))
0.2b
(* (/ (sqrt 1/2) (sqrt (log 10))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10))))

rewrite157.0ms

Algorithm
rewrite-expression-head
Rules
120×add-sqr-sqrt times-frac
101×sqrt-prod
68×*-un-lft-identity add-cube-cbrt
52×associate-*l*
42×pow1
37×add-exp-log
36×add-cbrt-cube
33×associate-*r*
31×log-pow
15×unswap-sqr
13×prod-exp cbrt-unprod
9×cbrt-undiv div-exp
7×associate-/r*
5×associate-*r/
4×log-div pow-prod-down insert-posit16 associate-/l* add-log-exp
3×log-prod div-inv
2×frac-times flip3-+ div-sub associate-*l/ *-commutative flip-+
1×clear-num frac-2neg rem-log-exp
Counts
4 → 214
Calls
4 calls:
Slowest
46.0ms
(* (sqrt 1/2) (* (/ (sqrt 1/2) (sqrt (log 10))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10)))))
46.0ms
(/ (log (+ (* re re) (* im im))) (sqrt (log 10)))
45.0ms
(* (/ (sqrt 1/2) (sqrt (log 10))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10))))
11.0ms
(log (+ (* re re) (* im im)))

series847.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
287.0ms
(/ (log (+ (* re re) (* im im))) (sqrt (log 10)))
270.0ms
(* (sqrt 1/2) (* (/ (sqrt 1/2) (sqrt (log 10))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10)))))
226.0ms
(* (/ (sqrt 1/2) (sqrt (log 10))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10))))
64.0ms
(log (+ (* re re) (* im im)))

simplify15.3s

Counts
228 → 226
Calls
228 calls:
Slowest
748.0ms
(* (* (* (/ (sqrt 1/2) (sqrt (log 10))) (/ (sqrt 1/2) (sqrt (log 10)))) (/ (sqrt 1/2) (sqrt (log 10)))) (* (* (/ (log (+ (* re re) (* im im))) (sqrt (log 10))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10)))))
594.0ms
(* (* (* (sqrt 1/2) (sqrt 1/2)) (sqrt 1/2)) (* (/ (* (* (sqrt 1/2) (sqrt 1/2)) (sqrt 1/2)) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10)))) (/ (* (* (log (+ (* re re) (* im im))) (log (+ (* re re) (* im im)))) (log (+ (* re re) (* im im)))) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10))))))
554.0ms
(* (* (* (sqrt 1/2) (sqrt 1/2)) (sqrt 1/2)) (* (* (* (/ (sqrt 1/2) (sqrt (log 10))) (/ (sqrt 1/2) (sqrt (log 10)))) (/ (sqrt 1/2) (sqrt (log 10)))) (/ (* (* (log (+ (* re re) (* im im))) (log (+ (* re re) (* im im)))) (log (+ (* re re) (* im im)))) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10))))))
480.0ms
(/ (* (* (log (+ (* re re) (* im im))) (log (+ (* re re) (* im im)))) (log (+ (* re re) (* im im)))) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10))))
474.0ms
(* (* (* (sqrt 1/2) (sqrt 1/2)) (sqrt 1/2)) (* (/ (* (* (sqrt 1/2) (sqrt 1/2)) (sqrt 1/2)) (* (* (sqrt (log 10)) (sqrt (log 10))) (sqrt (log 10)))) (* (* (/ (log (+ (* re re) (* im im))) (sqrt (log 10))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10))))))

prune2.8s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 5.0b

regimes753.0ms

Accuracy

58.3% (9.9b remaining)

Error of 17.1b against oracle of 7.2b and baseline of 30.9b

bsearch322.0ms

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.6s8000×body80valid