Details

Time bar (total: 16.3s)

sample27.0ms

Algorithm
intervals
Results
15.0ms256×body80valid

simplify22.0ms

Counts
1 → 1

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 33.8b

localize26.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* re re) (* im im))
0.6b
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
31.2b
(sqrt (+ (* re re) (* im im)))

rewrite96.0ms

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

series308.0ms

Counts
3 → 9
Calls
3 calls:
43.0ms
(+ (* re re) (* im im))
225.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
40.0ms
(sqrt (+ (* re re) (* im im)))

simplify1.3s

Counts
83 → 83

prune332.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 8.5b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* re re) (* im im))
0.3b
(/ 1/2 (/ (log 10.0) (log (+ (* re re) (* im im)))))
0.6b
(/ (log 10.0) (log (+ (* re re) (* im im))))
32.5b
(log (+ (* re re) (* im im)))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
140×times-frac
72×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
47×pow1
43×log-pow
24×associate-/r*
12×add-exp-log
11×add-cbrt-cube
7×associate-/l*
6×div-inv add-log-exp
4×cbrt-undiv div-exp
3×log-prod
2×log-div frac-2neg flip3-+ clear-num flip-+
1×+-commutative rem-log-exp sum-log associate-/r/
Counts
4 → 159
Calls
4 calls:
17.0ms
(+ (* re re) (* im im))
15.0ms
(/ 1/2 (/ (log 10.0) (log (+ (* re re) (* im im)))))
8.0ms
(/ (log 10.0) (log (+ (* re re) (* im im))))
7.0ms
(log (+ (* re re) (* im im)))

series475.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(+ (* re re) (* im im))
205.0ms
(/ 1/2 (/ (log 10.0) (log (+ (* re re) (* im im)))))
164.0ms
(/ (log 10.0) (log (+ (* re re) (* im im))))
57.0ms
(log (+ (* re re) (* im im)))

simplify958.0ms

Counts
171 → 171

prune546.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 8.4b

localize31.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (sqrt 1/2) (/ (sqrt 1/2) (/ (log 10.0) (log (+ (* re re) (* im im))))))
0.5b
(/ (sqrt 1/2) (/ (log 10.0) (log (+ (* re re) (* im im)))))
0.6b
(/ (log 10.0) (log (+ (* re re) (* im im))))
32.5b
(log (+ (* re re) (* im im)))

rewrite222.0ms

Algorithm
rewrite-expression-head
Rules
476×times-frac
249×add-sqr-sqrt
217×add-cube-cbrt *-un-lft-identity
135×sqrt-prod
125×associate-*r*
121×pow1
115×log-pow
24×associate-/r*
21×add-exp-log
20×add-cbrt-cube
16×div-inv
10×associate-/l* unswap-sqr
7×cbrt-undiv div-exp
6×associate-*l*
4×add-log-exp
3×log-prod prod-exp cbrt-unprod
2×log-div frac-2neg clear-num associate-/r/
1×flip3-+ associate-*r/ rem-log-exp pow-prod-down *-commutative flip-+
Counts
4 → 368
Calls
4 calls:
104.0ms
(* (sqrt 1/2) (/ (sqrt 1/2) (/ (log 10.0) (log (+ (* re re) (* im im))))))
28.0ms
(/ (sqrt 1/2) (/ (log 10.0) (log (+ (* re re) (* im im)))))
16.0ms
(/ (log 10.0) (log (+ (* re re) (* im im))))
15.0ms
(log (+ (* re re) (* im im)))

series888.0ms

Counts
4 → 12
Calls
4 calls:
360.0ms
(* (sqrt 1/2) (/ (sqrt 1/2) (/ (log 10.0) (log (+ (* re re) (* im im))))))
237.0ms
(/ (sqrt 1/2) (/ (log 10.0) (log (+ (* re re) (* im im)))))
206.0ms
(/ (log 10.0) (log (+ (* re re) (* im im))))
84.0ms
(log (+ (* re re) (* im im)))

simplify1.8s

Counts
380 → 380

prune1.2s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 8.3b

localize23.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (/ (* (sqrt 1/2) 1) (sqrt (log 10.0))) (/ (sqrt 1/2) (/ (sqrt (log 10.0)) (log (+ (* re re) (* im im))))))
0.5b
(/ (sqrt (log 10.0)) (log (+ (* re re) (* im im))))
0.5b
(/ (sqrt 1/2) (/ (sqrt (log 10.0)) (log (+ (* re re) (* im im)))))
32.5b
(log (+ (* re re) (* im im)))

rewrite358.0ms

Algorithm
rewrite-expression-head
Rules
793×times-frac
432×sqrt-prod
389×add-sqr-sqrt
365×add-cube-cbrt *-un-lft-identity
197×associate-*r*
164×pow1
158×log-pow
60×add-exp-log
47×add-cbrt-cube
36×associate-/r*
25×div-exp
19×cbrt-undiv
18×prod-exp
17×div-inv
13×associate-/l*
12×cbrt-unprod
11×associate-*l*
7×unswap-sqr
4×add-log-exp
3×log-prod 1-exp
2×log-div frac-2neg clear-num associate-/r/
1×frac-times flip3-+ associate-*r/ rem-log-exp pow-prod-down associate-*l/ *-commutative flip-+
Counts
4 → 558
Calls
4 calls:
224.0ms
(* (/ (* (sqrt 1/2) 1) (sqrt (log 10.0))) (/ (sqrt 1/2) (/ (sqrt (log 10.0)) (log (+ (* re re) (* im im))))))
10.0ms
(/ (sqrt (log 10.0)) (log (+ (* re re) (* im im))))
29.0ms
(/ (sqrt 1/2) (/ (sqrt (log 10.0)) (log (+ (* re re) (* im im)))))
14.0ms
(log (+ (* re re) (* im im)))

series1.1s

Counts
4 → 12
Calls
4 calls:
362.0ms
(* (/ (* (sqrt 1/2) 1) (sqrt (log 10.0))) (/ (sqrt 1/2) (/ (sqrt (log 10.0)) (log (+ (* re re) (* im im))))))
291.0ms
(/ (sqrt (log 10.0)) (log (+ (* re re) (* im im))))
337.0ms
(/ (sqrt 1/2) (/ (sqrt (log 10.0)) (log (+ (* re re) (* im im)))))
75.0ms
(log (+ (* re re) (* im im)))

simplify1.0s

Counts
570 → 570

prune2.0s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 8.2b

regimes760.0ms

Accuracy

56.2% (11.1b remaining)

Error of 18.1b against oracle of 7.0b and baseline of 32.4b

bsearch330.0ms

Steps
ItersRangePoint
10
3.757605950930909e+48
1.802026791961616e+61
1.7755900085120045e+61
10
2.473474062206034e-206
4.167173210830186e-189
7.904117357981244e-205
9
-2.7933584181899312e-198
-3.0544378147195635e-207
-4.206533095177794e-204
9
-2.4034702386058127e+120
-4.169196106262492e+112
-1.7111940272108438e+119

simplify1.4s

end0.0ms

sample1.2s

Algorithm
intervals
Results
864.0ms8000×body80valid