Details

Time bar (total: 2.1s)

sample40.0ms

Algorithm
intervals
Results
18.0ms457×body80valid

simplify48.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0227
1557
21017
31827
43357
57317
618287
750017

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 27.2b

Counts
2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* x x) (* y y))
5.2b
(- (+ (* x x) (* y y)) (* z z))
25.2b
(/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
10×add-log-exp
8×add-exp-log add-sqr-sqrt add-cbrt-cube
5×add-cube-cbrt *-un-lft-identity
4×times-frac associate-/l*
3×pow1 difference-of-squares
2×cbrt-undiv flip3-- diff-log div-exp sum-log flip-- associate-/l/
1×+-commutative sub-neg frac-2neg flip3-+ div-sub prod-exp associate--l+ clear-num associate-/r* cbrt-unprod flip-+ div-inv
Counts
3 → 52
Calls
3 calls:
3.0ms
(+ (* x x) (* y y))
5.0ms
(- (+ (* x x) (* y y)) (* z z))
8.0ms
(/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0))

series34.0ms

Counts
3 → 9
Calls
3 calls:
5.0ms
(+ (* x x) (* y y))
10.0ms
(- (+ (* x x) (* y y)) (* z z))
19.0ms
(/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0))

simplify35.0ms

Algorithm
egg-herbie
Counts
61 → 61
Iterations

Useful iterations: 2 (28.0ms)

IterNodesCost
0337520
11492454
25001446

prune86.0ms

Filtered
46 candidates to 61 candidates (-32.6%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New57461
Fresh000
Picked101
Done000
Total58462

Merged error: 12.8b

Counts
62 → 4

localize10.0ms

Local error

Found 2 expressions with local error:

10.5b
(/ (pow z 2) y)
12.9b
(/ (pow x 2) y)

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
48×times-frac
36×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
24×unpow-prod-down
16×associate-/l*
12×add-exp-log
8×unpow2 sqr-pow
6×div-exp associate-/r* add-cbrt-cube
2×pow1 cbrt-undiv pow-to-exp frac-2neg pow-exp clear-num div-inv add-log-exp
Counts
2 → 98
Calls
2 calls:
4.0ms
(/ (pow z 2) y)
5.0ms
(/ (pow x 2) y)

series7.0ms

Counts
2 → 6
Calls
2 calls:
3.0ms
(/ (pow z 2) y)
3.0ms
(/ (pow x 2) y)

simplify32.0ms

Algorithm
egg-herbie
Counts
104 → 104
Iterations

Useful iterations: 2 (24.0ms)

IterNodesCost
0270482
1962422
25001415

prune146.0ms

Filtered
66 candidates to 104 candidates (-57.6%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New995104
Fresh303
Picked101
Done000
Total1035108

Merged error: 2.4b

Counts
108 → 5

localize12.0ms

Local error

Found 2 expressions with local error:

0.2b
(/ x (/ y x))
10.5b
(/ (pow z 2) y)

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
99×times-frac
61×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
16×associate-/r*
12×add-exp-log unpow-prod-down
11×associate-/l*
9×add-cbrt-cube
6×div-exp div-inv
4×cbrt-undiv unpow2 sqr-pow
2×pow1 frac-2neg clear-num add-log-exp
1×pow-to-exp pow-exp associate-/r/
Counts
2 → 119
Calls
2 calls:
6.0ms
(/ x (/ y x))
5.0ms
(/ (pow z 2) y)

series7.0ms

Counts
2 → 6
Calls
2 calls:
3.0ms
(/ x (/ y x))
3.0ms
(/ (pow z 2) y)

simplify59.0ms

Algorithm
egg-herbie
Counts
125 → 125
Iterations

Useful iterations: 2 (50.0ms)

IterNodesCost
0449693
12177620
25002613

prune136.0ms

Filtered
84 candidates to 125 candidates (-48.8%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New1232125
Fresh224
Picked101
Done000
Total1264130

Merged error: 0b

Counts
130 → 4

localize9.0ms

Local error

Found 2 expressions with local error:

0.1b
(/ z (/ y z))
0.2b
(/ x (/ y x))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
150×times-frac
86×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
26×associate-/r*
12×add-exp-log add-cbrt-cube
10×div-inv
6×cbrt-undiv div-exp associate-/l*
2×pow1 frac-2neg clear-num associate-/r/ add-log-exp
Counts
2 → 140
Calls
2 calls:
5.0ms
(/ z (/ y z))
5.0ms
(/ x (/ y x))

series7.0ms

Counts
2 → 6
Calls
2 calls:
3.0ms
(/ z (/ y z))
3.0ms
(/ x (/ y x))

simplify80.0ms

Algorithm
egg-herbie
Counts
146 → 146
Iterations

Useful iterations: 2 (69.0ms)

IterNodesCost
0606904
13184826
25001819

prune105.0ms

Filtered
103 candidates to 146 candidates (-41.7%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1460146
Fresh033
Picked011
Done000
Total1464150

Merged error: 0b

Counts
150 → 4

regimes142.0ms

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.1b and baseline of 0.1b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0137
1137

end0.0ms

sample1.0s

Algorithm
intervals
Results
562.0ms13810×body80valid

Profiling

Loading profile data...