Details

Time bar (total: 3.1s)

sample30.0ms

Algorithm
intervals
Results
19.0ms256×body80valid

simplify3.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0117
1117

prune3.0ms

Filtered
1 candidates to 0 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 28.4b

Counts
2 → 1

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

rewrite16.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))
7.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
3.0ms
(sqrt (+ (* re re) (* im im)))

series29.0ms

Counts
3 → 9
Calls
3 calls:
5.0ms
(+ (* re re) (* im im))
18.0ms
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10.0))
6.0ms
(sqrt (+ (* re re) (* im im)))

simplify86.0ms

Algorithm
egg-herbie
Counts
83 → 83
Iterations

Useful iterations: 3 (76.0ms)

IterNodesCost
0259745
1894701
22872696
35001694

prune155.0ms

Filtered
83 candidates to 55 candidates (33.7%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New701383
Fresh000
Picked101
Done000
Total711384

Merged error: 8.6b

Counts
84 → 13

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
194×sqrt-pow1
175×pow1
136×log-pow
100×times-frac
98×pow1/2
81×add-sqr-sqrt
72×sqrt-prod
54×pow-prod-up
52×sqrt-div
49×add-cube-cbrt *-un-lft-identity
30×pow-prod-down pow-sqr
25×associate-/l*
15×swap-sqr
14×flip3-+ flip-+
9×associate-*r* associate-*l* unswap-sqr
8×add-exp-log frac-times log-div div-sub add-cbrt-cube
6×pow2 pow-plus
4×associate-*r/ associate-*l/ associate-/r* add-log-exp
2×rem-sqrt-square
1×cbrt-undiv frac-2neg sqrt-unprod div-exp prod-exp clear-num rem-square-sqrt *-commutative cbrt-unprod div-inv
Counts
4 → 262
Calls
4 calls:
14.0ms
(* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))))
18.0ms
(/ (log (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))))) (log 10.0))
3.0ms
(sqrt (+ (* re re) (* im im)))
5.0ms
(sqrt (+ (* re re) (* im im)))

series39.0ms

Counts
4 → 12
Calls
4 calls:
6.0ms
(* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))))
22.0ms
(/ (log (* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))))) (log 10.0))
6.0ms
(sqrt (+ (* re re) (* im im)))
6.0ms
(sqrt (+ (* re re) (* im im)))

simplify74.0ms

Algorithm
egg-herbie
Counts
274 → 274
Iterations

Useful iterations: 2 (46.0ms)

IterNodesCost
05212845
117202708
250022679

prune227.0ms

Filtered
274 candidates to 116 candidates (57.7%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New2713274
Fresh21012
Picked101
Done000
Total27413287

Merged error: 8.6b

Counts
287 → 13

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* re re) (* im im))
0.2b
(* (/ 2 (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) 1))
0.3b
(* (/ 1/4 (sqrt (log 10.0))) (* (/ 2 (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) 1)))
27.3b
(log (+ (* re re) (* im im)))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
79×add-exp-log
68×add-sqr-sqrt
66×times-frac
57×add-cbrt-cube
50×associate-*l*
44×*-un-lft-identity
41×add-cube-cbrt
32×prod-exp
28×div-exp
27×sqrt-prod
22×cbrt-unprod
21×pow1
17×cbrt-undiv associate-*r*
10×log-pow
9×unswap-sqr
6×frac-times 1-exp associate-*r/ add-log-exp
4×pow-prod-down associate-*l/
3×log-prod div-inv
2×log-div flip3-+ *-commutative flip-+
1×+-commutative rem-log-exp sum-log
Counts
4 → 164
Calls
4 calls:
4.0ms
(+ (* re re) (* im im))
17.0ms
(* (/ 2 (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) 1))
15.0ms
(* (/ 1/4 (sqrt (log 10.0))) (* (/ 2 (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) 1)))
3.0ms
(log (+ (* re re) (* im im)))

series60.0ms

Counts
4 → 12
Calls
4 calls:
6.0ms
(+ (* re re) (* im im))
25.0ms
(* (/ 2 (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) 1))
20.0ms
(* (/ 1/4 (sqrt (log 10.0))) (* (/ 2 (sqrt (log 10.0))) (/ (log (+ (* re re) (* im im))) 1)))
9.0ms
(log (+ (* re re) (* im im)))

simplify91.0ms

Algorithm
egg-herbie
Counts
176 → 176
Iterations

Useful iterations: 2 (70.0ms)

IterNodesCost
08162195
137301823
250011765

prune323.0ms

Filtered
176 candidates to 106 candidates (39.8%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New1706176
Fresh7512
Picked101
Done000
Total17811189

Merged error: 8.5b

Counts
189 → 11

localize17.0ms

Local error

Found 3 expressions with local error:

0.0b
(log (pow (+ (* re re) (* im im)) (/ (/ 1/2 (sqrt (log 10.0))) (sqrt (log 10.0)))))
0.0b
(+ (* re re) (* im im))
28.9b
(pow (+ (* re re) (* im im)) (/ (/ 1/2 (sqrt (log 10.0))) (sqrt (log 10.0))))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
322×times-frac
184×sqrt-prod
179×pow-unpow
155×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
50×pow1
47×log-pow
8×div-inv
7×log-prod
6×add-exp-log unpow-prod-down
5×add-log-exp
3×rem-log-exp add-cbrt-cube
2×pow-to-exp pow-exp sqr-pow
1×+-commutative pow-pow flip3-+ sum-log flip-+
Counts
3 → 222
Calls
3 calls:
4.0ms
(log (pow (+ (* re re) (* im im)) (/ (/ 1/2 (sqrt (log 10.0))) (sqrt (log 10.0)))))
3.0ms
(+ (* re re) (* im im))
21.0ms
(pow (+ (* re re) (* im im)) (/ (/ 1/2 (sqrt (log 10.0))) (sqrt (log 10.0))))

series69.0ms

Counts
3 → 9
Calls
3 calls:
32.0ms
(log (pow (+ (* re re) (* im im)) (/ (/ 1/2 (sqrt (log 10.0))) (sqrt (log 10.0)))))
5.0ms
(+ (* re re) (* im im))
31.0ms
(pow (+ (* re re) (* im im)) (/ (/ 1/2 (sqrt (log 10.0))) (sqrt (log 10.0))))

simplify73.0ms

Algorithm
egg-herbie
Counts
231 → 231
Iterations

Useful iterations: 2 (50.0ms)

IterNodesCost
09142915
138162675
250022662

prune401.0ms

Filtered
231 candidates to 104 candidates (55.0%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New2301231
Fresh3710
Picked011
Done000
Total2339242

Merged error: 8.5b

Counts
242 → 9

regimes496.0ms

Accuracy

59.5% (10.1b remaining)

Error of 17.4b against oracle of 7.4b and baseline of 32.2b

bsearch43.0ms

Steps
ItersRangePoint
9
1.4084025144316139e+88
1.3907891785976965e+93
2.0014054693044192e+92
8
-2.6907717808382143e+96
-5.954044022157104e+93
-2.0633232494627097e+96

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05444
16244
26244

end0.0ms

sample671.0ms

Algorithm
intervals
Results
460.0ms8000×body80valid

Profiling

Loading profile data...