Details

Time bar (total: 5.7s)

sample28.0ms

Algorithm
intervals
Results
19.0ms256×body80valid

simplify4.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0117
1117

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 35.3b

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

rewrite23.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:
3.0ms
(+ (* re re) (* im im))
14.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
4.0ms
(sqrt (+ (* re re) (* im im)))

series199.0ms

Counts
3 → 9
Calls
3 calls:
26.0ms
(+ (* re re) (* im im))
137.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
35.0ms
(sqrt (+ (* re re) (* im im)))

simplify90.0ms

Algorithm
egg-herbie
Counts
83 → 83
Iterations

Useful iterations: 2 (20.0ms)

IterNodesCost
0256741
1895697
22846694
35001694

prune239.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 8.4b

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b
(/ (log (* (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im)))))) (log 10.0))
32.7b
(sqrt (+ (* re re) (* im im)))
32.7b
(sqrt (+ (* re re) (* im im)))
32.7b
(sqrt (+ (* re re) (* im im)))

rewrite187.0ms

Algorithm
rewrite-expression-head
Rules
126×pow1
94×log-pow
72×times-frac
60×sqrt-div
54×cbrt-div
45×pow1/3 pow-prod-up
34×add-sqr-sqrt
31×add-cube-cbrt *-un-lft-identity
30×flip3-+ pow-plus flip-+
28×frac-times
26×log-div div-sub
25×pow-prod-down
18×associate-/l*
15×pow-sqr
14×associate-*l/
10×pow2
9×sqrt-prod
8×associate-*r/
6×add-exp-log add-cbrt-cube
5×pow3
4×associate-/r* add-log-exp
3×rem-sqrt-square sqrt-pow1 pow1/2
1×cbrt-undiv frac-2neg div-exp clear-num div-inv
Counts
4 → 177
Calls
4 calls:
163.0ms
(/ (log (* (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im)))))) (log 10.0))
3.0ms
(sqrt (+ (* re re) (* im im)))
3.0ms
(sqrt (+ (* re re) (* im im)))
4.0ms
(sqrt (+ (* re re) (* im im)))

series236.0ms

Counts
4 → 12
Calls
4 calls:
130.0ms
(/ (log (* (* (cbrt (sqrt (+ (* re re) (* im im)))) (cbrt (sqrt (+ (* re re) (* im im))))) (cbrt (sqrt (+ (* re re) (* im im)))))) (log 10.0))
38.0ms
(sqrt (+ (* re re) (* im im)))
33.0ms
(sqrt (+ (* re re) (* im im)))
34.0ms
(sqrt (+ (* re re) (* im im)))

simplify159.0ms

Algorithm
egg-herbie
Counts
189 → 189
Iterations

Useful iterations: 3 (126.0ms)

IterNodesCost
04803559
19553468
230163076
350033048

prune434.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 8.4b

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* re re) (* im im))
0.3b
(/ (+ (* 2 1/3) 1/3) (/ (log 10.0) (log (sqrt (+ (* re re) (* im im))))))
0.6b
(/ (log 10.0) (log (sqrt (+ (* re re) (* im im)))))
32.7b
(sqrt (+ (* re re) (* im im)))

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
308×times-frac
141×*-un-lft-identity
130×log-pow
113×add-sqr-sqrt
112×add-cube-cbrt
106×pow1
34×associate-/r*
30×sqrt-pow1 pow1/2
29×distribute-rgt-out distribute-lft1-in
11×add-exp-log add-cbrt-cube
9×associate-/l*
8×div-inv
6×add-log-exp
4×cbrt-undiv div-exp
3×flip3-+ sqrt-prod flip-+
2×frac-2neg sqrt-div clear-num associate-/l/
1×+-commutative rem-sqrt-square sum-log associate-/r/
Counts
4 → 262
Calls
4 calls:
2.0ms
(+ (* re re) (* im im))
15.0ms
(/ (+ (* 2 1/3) 1/3) (/ (log 10.0) (log (sqrt (+ (* re re) (* im im))))))
4.0ms
(/ (log 10.0) (log (sqrt (+ (* re re) (* im im)))))
4.0ms
(sqrt (+ (* re re) (* im im)))

series334.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(+ (* re re) (* im im))
136.0ms
(/ (+ (* 2 1/3) 1/3) (/ (log 10.0) (log (sqrt (+ (* re re) (* im im))))))
131.0ms
(/ (log 10.0) (log (sqrt (+ (* re re) (* im im)))))
41.0ms
(sqrt (+ (* re re) (* im im)))

simplify125.0ms

Algorithm
egg-herbie
Counts
274 → 274
Iterations

Useful iterations: 2 (95.0ms)

IterNodesCost
07723317
138423098
250012948

prune503.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 8.3b

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (pow (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)) 3))
0.6b
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
0.7b
(pow (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)) 3)
32.7b
(sqrt (+ (* re re) (* im im)))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
120×times-frac
94×log-pow
79×pow1
64×add-sqr-sqrt
63×add-cube-cbrt *-un-lft-identity
62×cbrt-prod
56×unpow-prod-down cube-prod
22×sqrt-pow1 pow1/2
9×add-exp-log add-cbrt-cube
6×associate-/l*
5×div-inv
4×sqrt-div associate-/r* add-log-exp
3×pow-unpow sqrt-prod
2×cbrt-undiv cube-div cube-mult log-div flip3-+ unpow3 div-sub div-exp pow-exp flip-+ rem-cube-cbrt sqr-pow
1×pow-to-exp rem-sqrt-square cbrt-div pow-pow frac-2neg pow1/3 clear-num rem-cbrt-cube
Counts
4 → 211
Calls
4 calls:
8.0ms
(cbrt (pow (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)) 3))
11.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
10.0ms
(pow (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)) 3)
4.0ms
(sqrt (+ (* re re) (* im im)))

series527.0ms

Counts
4 → 12
Calls
4 calls:
131.0ms
(cbrt (pow (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)) 3))
134.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
228.0ms
(pow (/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0)) 3)
34.0ms
(sqrt (+ (* re re) (* im im)))

simplify78.0ms

Algorithm
egg-herbie
Counts
223 → 223
Iterations

Useful iterations: 2 (48.0ms)

IterNodesCost
05542577
122922448
250012428

prune368.0ms

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 8.2b

regimes1.2s

Accuracy

51.3% (11.9b remaining)

Error of 19.0b against oracle of 7.1b and baseline of 31.6b

bsearch155.0ms

Steps
ItersRangePoint
9
1.2005221730326856e+90
1.0299998940834712e+95
2.5570395887401012e+92
8
2.555487769507404e-297
9.204367104374754e-295
2.151804293746571e-295
9
-4.0298841896469914e-94
-3.744556309116812e-103
-3.8099669373079583e-103
4
-5.3768555360377445e+54
-3.05695134075892e+54
-5.3041072880298795e+54

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06049
16549
26549

end0.0ms

sample735.0ms

Algorithm
intervals
Results
589.0ms8000×body80valid