Details

Time bar (total: 4.4s)

sample33.0ms

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 99.996948%

Results
15.0ms256×body80valid

simplify3.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0117
1117

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 31.1b

Counts
2 → 1

localize10.0ms

Local error

Found 2 expressions with local error:

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

rewrite17.0ms

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

series25.0ms

Counts
2 → 6
Calls
2 calls:
18.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
7.0ms
(sqrt (+ (* re re) (* im im)))

simplify117.0ms

Algorithm
egg-herbie
Counts
69 → 69
Iterations

Useful iterations: 4 (109.0ms)

IterNodesCost
0224668
1555635
21317630
33981628
45001627

prune133.0ms

Filtered
45 candidates to 69 candidates (-53.3%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New571269
Fresh000
Picked101
Done000
Total581270

Merged error: 8.3b

Counts
70 → 12

localize13.0ms

Local error

Found 3 expressions with local error:

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

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
89×times-frac
82×add-sqr-sqrt
54×sqrt-prod
52×add-cube-cbrt *-un-lft-identity
33×pow1
32×associate-*r*
28×log-pow
25×associate-*l*
18×add-exp-log
17×add-cbrt-cube
9×unswap-sqr
7×associate-/r*
5×cbrt-undiv div-exp
4×log-div prod-exp cbrt-unprod associate-/l*
3×log-prod div-inv add-log-exp
2×flip3-+ div-sub flip-+
1×frac-times frac-2neg associate-*r/ rem-log-exp pow-prod-down associate-*l/ clear-num *-commutative
Counts
3 → 153
Calls
3 calls:
24.0ms
(* (/ 1/2 (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
7.0ms
(/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))
4.0ms
(log (+ (* re re) (* im im)))

series55.0ms

Counts
3 → 9
Calls
3 calls:
23.0ms
(* (/ 1/2 (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
22.0ms
(/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))
9.0ms
(log (+ (* re re) (* im im)))

simplify61.0ms

Algorithm
egg-herbie
Counts
162 → 162
Iterations

Useful iterations: 2 (43.0ms)

IterNodesCost
05282102
121321937
250011838

prune307.0ms

Filtered
96 candidates to 162 candidates (-68.8%)
Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New15210162
Fresh7411
Picked101
Done000
Total16014174

Merged error: 8.1b

Counts
174 → 14

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
126×sqrt-prod
112×times-frac
107×add-sqr-sqrt
69×add-cube-cbrt *-un-lft-identity
56×associate-*l*
42×pow1
33×associate-*r*
31×log-pow
21×add-exp-log
20×add-cbrt-cube
12×unswap-sqr
10×sqrt-div
7×prod-exp associate-/r* cbrt-unprod
6×frac-times associate-*r/
4×log-div pow-prod-down associate-*l/ div-inv associate-/l* add-log-exp
3×cbrt-undiv log-prod div-exp
2×flip3-+ div-sub *-commutative flip-+
1×frac-2neg rem-log-exp clear-num
Counts
4 → 207
Calls
4 calls:
18.0ms
(* (sqrt (/ 1/2 (sqrt (log 10.0)))) (* (sqrt (/ 1/2 (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))))
26.0ms
(* (sqrt (/ 1/2 (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
7.0ms
(/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))
3.0ms
(log (+ (* re re) (* im im)))

series107.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(* (sqrt (/ 1/2 (sqrt (log 10.0)))) (* (sqrt (/ 1/2 (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))))
49.0ms
(* (sqrt (/ 1/2 (sqrt (log 10.0)))) (/ (log (+ (* re re) (* im im))) (sqrt (log 10.0))))
22.0ms
(/ (log (+ (* re re) (* im im))) (sqrt (log 10.0)))
9.0ms
(log (+ (* re re) (* im im)))

simplify87.0ms

Algorithm
egg-herbie
Counts
219 → 219
Iterations

Useful iterations: 2 (58.0ms)

IterNodesCost
06233195
126922944
250012906

prune587.0ms

Filtered
136 candidates to 219 candidates (-61.0%)
Pruning

18 alts after pruning (17 fresh and 1 done)

PrunedKeptTotal
New2127219
Fresh31013
Picked011
Done000
Total21518233

Merged error: 8.0b

Counts
233 → 18

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
94×sqrt-prod
65×add-sqr-sqrt
60×times-frac
56×associate-*l*
45×add-cube-cbrt *-un-lft-identity
21×add-exp-log
20×add-cbrt-cube
19×pow1
15×associate-*r*
11×log-pow
9×log-prod
8×unswap-sqr
7×associate-/r*
6×prod-exp cbrt-unprod
4×cbrt-undiv sqrt-div div-exp div-inv add-log-exp
3×distribute-rgt-in distribute-lft-in associate-*l/
2×log-div pow-prod-down *-commutative
1×frac-times frac-2neg flip3-+ associate-*r/ rem-log-exp clear-num flip-+ associate-/l/ associate-/l*
Counts
4 → 159
Calls
4 calls:
20.0ms
(* (sqrt (/ 1/2 (sqrt (log 10.0)))) (/ (* (sqrt (/ 1/2 (sqrt (log 10.0)))) (log (+ (* re re) (* im im)))) (sqrt (log 10.0))))
14.0ms
(* (sqrt (/ 1/2 (sqrt (log 10.0)))) (log (+ (* re re) (* im im))))
12.0ms
(/ (* (sqrt (/ 1/2 (sqrt (log 10.0)))) (log (+ (* re re) (* im im)))) (sqrt (log 10.0)))
3.0ms
(log (+ (* re re) (* im im)))

series118.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(* (sqrt (/ 1/2 (sqrt (log 10.0)))) (/ (* (sqrt (/ 1/2 (sqrt (log 10.0)))) (log (+ (* re re) (* im im)))) (sqrt (log 10.0))))
34.0ms
(* (sqrt (/ 1/2 (sqrt (log 10.0)))) (log (+ (* re re) (* im im))))
48.0ms
(/ (* (sqrt (/ 1/2 (sqrt (log 10.0)))) (log (+ (* re re) (* im im)))) (sqrt (log 10.0)))
9.0ms
(log (+ (* re re) (* im im)))

simplify73.0ms

Algorithm
egg-herbie
Counts
171 → 171
Iterations

Useful iterations: 2 (50.0ms)

IterNodesCost
05382478
121722216
250012199

prune443.0ms

Filtered
116 candidates to 171 candidates (-47.4%)
Pruning

20 alts after pruning (18 fresh and 2 done)

PrunedKeptTotal
New1692171
Fresh01616
Picked011
Done011
Total16920189

Merged error: 8.0b

Counts
189 → 20

regimes1.3s

Accuracy

56.4% (10.4b remaining)

Error of 17.8b against oracle of 7.4b and baseline of 31.3b

bsearch123.0ms

Steps
ItersRangePoint
8
5.428514703781838e+85
3.3654709202846104e+90
2.724090379528367e+87
9
2.9999547173217058e-279
3.5872037183809784e-274
3.319061191535923e-279
6
-4.362316538002537e-183
-4.598097325501388e-184
-8.378215218624881e-184
5
-1.2183677158557471e+109
-3.804668081863855e+108
-4.758346173175285e+108

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
07071
17071

end0.0ms

sample673.0ms

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 99.996948%

Results
472.0ms8000×body80valid

Profiling

Loading profile data...