Details

Time bar (total: 3.9s)

sample24.0ms

Algorithm
intervals
Results
12.0ms256×body80valid

simplify17.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
0167
1277
2337
3347
4347

prune3.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 37.6b

Counts
2 → 1

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* x x) (* y y))
0.0b
(+ (+ (* x x) (* y y)) (* z z))
0.1b
(/ (+ (+ (* x x) (* y y)) (* z z)) 3.0)
35.0b
(sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) 3.0))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
20×add-cube-cbrt *-un-lft-identity
19×times-frac
13×sqrt-prod
11×add-log-exp
6×add-exp-log add-cbrt-cube
5×pow1
4×expm1-log1p-u fma-def sum-log log1p-expm1-u
3×flip3-+ associate-/r* flip-+ associate-/l*
2×+-commutative rem-sqrt-square div-inv associate-/l/
1×cbrt-undiv associate-+l+ frac-2neg sqrt-pow1 pow1/2 sqrt-div div-exp clear-num
Counts
4 → 90
Calls
4 calls:
4.0ms
(+ (* x x) (* y y))
8.0ms
(+ (+ (* x x) (* y y)) (* z z))
9.0ms
(/ (+ (+ (* x x) (* y y)) (* z z)) 3.0)
6.0ms
(sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) 3.0))

series334.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(+ (* x x) (* y y))
49.0ms
(+ (+ (* x x) (* y y)) (* z z))
59.0ms
(/ (+ (+ (* x x) (* y y)) (* z z)) 3.0)
194.0ms
(sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) 3.0))

simplify60.0ms

Algorithm
egg-herbie
Counts
102 → 102
Iterations

Useful iterations: 2 (47.0ms)

IterNodesCost
0345852
11445759
25001739

prune342.0ms

Filtered
102 candidates to 84 candidates (82.4%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New975102
Fresh000
Picked101
Done000
Total985103

Merged error: 18.4b

Counts
103 → 5

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* x x) (* y y))
0.0b
(+ (+ (* x x) (* y y)) (* z z))
0.4b
(/ (sqrt (+ (+ (* x x) (* y y)) (* z z))) (sqrt 3.0))
34.9b
(sqrt (+ (+ (* x x) (* y y)) (* z z)))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
45×sqrt-prod
36×add-sqr-sqrt times-frac
34×add-cube-cbrt *-un-lft-identity
11×add-log-exp
6×add-exp-log associate-/r* add-cbrt-cube associate-/l*
5×pow1
4×expm1-log1p-u fma-def flip3-+ sqrt-div sum-log flip-+ log1p-expm1-u
2×+-commutative associate-/l/
1×cbrt-undiv rem-sqrt-square associate-+l+ sqrt-undiv frac-2neg sqrt-pow1 pow1/2 div-exp clear-num hypot-def div-inv
Counts
4 → 115
Calls
4 calls:
4.0ms
(+ (* x x) (* y y))
7.0ms
(+ (+ (* x x) (* y y)) (* z z))
11.0ms
(/ (sqrt (+ (+ (* x x) (* y y)) (* z z))) (sqrt 3.0))
6.0ms
(sqrt (+ (+ (* x x) (* y y)) (* z z)))

series467.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(+ (* x x) (* y y))
39.0ms
(+ (+ (* x x) (* y y)) (* z z))
279.0ms
(/ (sqrt (+ (+ (* x x) (* y y)) (* z z))) (sqrt 3.0))
118.0ms
(sqrt (+ (+ (* x x) (* y y)) (* z z)))

simplify61.0ms

Algorithm
egg-herbie
Counts
127 → 127
Iterations

Useful iterations: 2 (40.0ms)

IterNodesCost
03481348
114261262
250021230

prune333.0ms

Filtered
127 candidates to 86 candidates (67.7%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New1234127
Fresh044
Picked101
Done000
Total1248132

Merged error: 13.2b

Counts
132 → 8

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* x x) (* y y))
0.4b
(/ (hypot (sqrt (+ (* x x) (* y y))) z) (sqrt 3.0))
29.4b
(sqrt (+ (* x x) (* y y)))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
19×add-cube-cbrt *-un-lft-identity
18×times-frac
15×sqrt-prod
6×associate-/r*
5×add-exp-log add-cbrt-cube add-log-exp
4×pow1
3×expm1-log1p-u log1p-expm1-u associate-/l*
2×flip3-+ sqrt-div flip-+
1×cbrt-undiv +-commutative rem-sqrt-square sqrt-undiv hypot-udef fma-def frac-2neg sqrt-pow1 pow1/2 div-exp clear-num sum-log hypot-def div-inv
Counts
3 → 74
Calls
3 calls:
4.0ms
(+ (* x x) (* y y))
4.0ms
(/ (hypot (sqrt (+ (* x x) (* y y))) z) (sqrt 3.0))
4.0ms
(sqrt (+ (* x x) (* y y)))

series422.0ms

Counts
3 → 9
Calls
3 calls:
33.0ms
(+ (* x x) (* y y))
345.0ms
(/ (hypot (sqrt (+ (* x x) (* y y))) z) (sqrt 3.0))
43.0ms
(sqrt (+ (* x x) (* y y)))

simplify97.0ms

Algorithm
egg-herbie
Counts
83 → 83
Iterations

Useful iterations: 3 (88.0ms)

IterNodesCost
0249728
1912678
23040660
35002659

prune261.0ms

Filtered
83 candidates to 62 candidates (74.7%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New79483
Fresh347
Picked101
Done000
Total83891

Merged error: 0.1b

Counts
91 → 8

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(hypot x y)
0.4b
(/ (hypot (hypot x y) z) (sqrt 3.0))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
18×times-frac
17×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
12×sqrt-prod
6×associate-/r*
4×add-exp-log add-cbrt-cube
3×associate-/l*
2×pow1 expm1-log1p-u hypot-udef log1p-expm1-u add-log-exp
1×cbrt-undiv sqrt-undiv frac-2neg div-exp clear-num div-inv
Counts
2 → 52
Calls
2 calls:
1.0ms
(hypot x y)
4.0ms
(/ (hypot (hypot x y) z) (sqrt 3.0))

series427.0ms

Counts
2 → 6
Calls
2 calls:
59.0ms
(hypot x y)
367.0ms
(/ (hypot (hypot x y) z) (sqrt 3.0))

simplify64.0ms

Algorithm
egg-herbie
Counts
58 → 58
Iterations

Useful iterations: 4 (58.0ms)

IterNodesCost
0139383
1318362
2779351
32116351
45001350

prune159.0ms

Filtered
58 candidates to 45 candidates (77.6%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New52658
Fresh707
Picked011
Done000
Total59766

Merged error: 0b

Counts
66 → 7

regimes101.0ms

Accuracy

0% (0.3b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 0.3b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0118

end0.0ms

sample557.0ms

Algorithm
intervals
Results
380.0ms8000×body80valid

Profiling

Loading profile data...