Details

Time bar (total: 18.8s)

sample42.0ms

Algorithm
intervals
Results
22.0ms256×body80valid

simplify8.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01012
11112
done1112

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 33.3b

localize36.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))
30.9b
(sqrt (+ (* re re) (* im im)))

rewrite102.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:
14.0ms
(+ (* re re) (* im im))
65.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
17.0ms
(sqrt (+ (* re re) (* im im)))

series353.0ms

Counts
3 → 9
Calls
3 calls:
53.0ms
(+ (* re re) (* im im))
228.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
73.0ms
(sqrt (+ (* re re) (* im im)))

simplify914.0ms

Counts
83 → 83
Iterations

Useful iterations: done (908.0ms)

IterNodesCost
01251357
12791281
210751167
done50011163

prune607.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 11.1b

localize36.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* re re) (* im im))
0.2b
(/ 1/2 (/ (log 10.0) (log (+ (* re re) (* im im)))))
0.6b
(/ (log 10.0) (log (+ (* re re) (* im im))))
32.0b
(log (+ (* re re) (* im im)))

rewrite90.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))
22.0ms
(/ 1/2 (/ (log 10.0) (log (+ (* re re) (* im im)))))
16.0ms
(/ (log 10.0) (log (+ (* re re) (* im im))))
20.0ms
(log (+ (* re re) (* im im)))

series605.0ms

Counts
4 → 12
Calls
4 calls:
56.0ms
(+ (* re re) (* im im))
224.0ms
(/ 1/2 (/ (log 10.0) (log (+ (* re re) (* im im)))))
219.0ms
(/ (log 10.0) (log (+ (* re re) (* im im))))
105.0ms
(log (+ (* re re) (* im im)))

simplify2.0s

Counts
171 → 171
Iterations

Useful iterations: done (1.9s)

IterNodesCost
02183475
15733293
225773083
done50013075

prune994.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 11.1b

localize52.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* re re) (* im im))
0.3b
(/ (/ 1/2 (sqrt (log 10.0))) (/ (sqrt (log 10.0)) (log (+ (* re re) (* im im)))))
0.4b
(/ (sqrt (log 10.0)) (log (+ (* re re) (* im im))))
32.0b
(log (+ (* re re) (* im im)))

rewrite326.0ms

Algorithm
rewrite-expression-head
Rules
2249×times-frac
901×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
832×sqrt-prod
403×pow1
399×log-pow
61×div-inv
36×associate-/r*
32×associate-/l*
19×add-exp-log
18×add-cbrt-cube
9×cbrt-undiv div-exp
6×add-log-exp
3×log-prod
2×log-div frac-2neg flip3-+ clear-num flip-+
1×+-commutative rem-log-exp sum-log associate-/r/ associate-/l/
Counts
4 → 953
Calls
4 calls:
17.0ms
(+ (* re re) (* im im))
75.0ms
(/ (/ 1/2 (sqrt (log 10.0))) (/ (sqrt (log 10.0)) (log (+ (* re re) (* im im)))))
17.0ms
(/ (sqrt (log 10.0)) (log (+ (* re re) (* im im))))
14.0ms
(log (+ (* re re) (* im im)))

series761.0ms

Counts
4 → 12
Calls
4 calls:
62.0ms
(+ (* re re) (* im im))
264.0ms
(/ (/ 1/2 (sqrt (log 10.0))) (/ (sqrt (log 10.0)) (log (+ (* re re) (* im im)))))
335.0ms
(/ (sqrt (log 10.0)) (log (+ (* re re) (* im im))))
98.0ms
(log (+ (* re re) (* im im)))

simplify2.6s

Counts
965 → 965
Iterations

Useful iterations: done (2.5s)

IterNodesCost
080136087
1303033019
done500132619

prune3.9s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 11.0b

localize77.0ms

Local error

Found 4 expressions with local error:

1.0b
(cbrt (log 10.0))
1.0b
(cbrt (log 10.0))
1.0b
(sqrt (cbrt (log 10.0)))
32.0b
(log (+ (* re re) (* im im)))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
13×cbrt-prod
11×add-sqr-sqrt
9×pow1 add-cube-cbrt *-un-lft-identity
7×sqrt-prod
5×add-exp-log
4×log-pow add-cbrt-cube add-log-exp
3×log-prod pow1/3
2×rem-sqrt-square log-div sqrt-pow1
1×flip3-+ pow1/2 rem-log-exp flip-+
Counts
4 → 57
Calls
4 calls:
2.0ms
(cbrt (log 10.0))
2.0ms
(cbrt (log 10.0))
5.0ms
(sqrt (cbrt (log 10.0)))
14.0ms
(log (+ (* re re) (* im im)))

series80.0ms

Counts
4 → 6
Calls
4 calls:
0.0ms
(cbrt (log 10.0))
0.0ms
(cbrt (log 10.0))
0.0ms
(sqrt (cbrt (log 10.0)))
80.0ms
(log (+ (* re re) (* im im)))

simplify1.6s

Counts
63 → 63
Iterations

Useful iterations: 3 (301.0ms)

IterNodesCost
086592
1166558
2362510
3776471
41872471
done5001471

prune633.0ms

Pruning

15 alts after pruning (13 fresh and 2 done)

Merged error: 10.9b

regimes1.3s

Accuracy

56.9% (10.8b remaining)

Error of 18.0b against oracle of 7.3b and baseline of 32.3b

bsearch213.0ms

Steps
ItersRangePoint
8
1.8608651167086986e+124
1.5707892714413715e+127
5.752055057168161e+125
9
-44869037.468994394
-9.909436224494211
-44144913.100366615

simplify10.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03998
14598
done4598

end0.0ms

sample1.4s

Algorithm
intervals
Results
1.0s8000×body80valid