Details

Time bar (total: 3.7s)

sample36.0ms

Algorithm
intervals
Results
22.0ms453×body80valid

simplify57.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
0237
1596
21116
32046
43696
58396
621686
750016

prune5.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 26.4b

Counts
2 → 1

localize9.0ms

Local error

Found 2 expressions with local error:

4.6b
(- (+ (* x x) (* y y)) (* z z))
24.5b
(/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt
7×add-exp-log add-cbrt-cube add-log-exp
6×add-cube-cbrt *-un-lft-identity
4×times-frac associate-/l*
3×fma-neg prod-diff difference-of-squares
2×pow1 cbrt-undiv expm1-log1p-u flip3-- diff-log div-exp flip-- log1p-expm1-u associate-/l/
1×sub-neg frac-2neg div-sub prod-exp associate--l+ clear-num associate-/r* sum-log cbrt-unprod div-inv
Counts
2 → 51
Calls
2 calls:
6.0ms
(- (+ (* x x) (* y y)) (* z z))
9.0ms
(/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0))

series119.0ms

Counts
2 → 6
Calls
2 calls:
39.0ms
(- (+ (* x x) (* y y)) (* z z))
79.0ms
(/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0))

simplify41.0ms

Algorithm
egg-herbie
Counts
57 → 57
Iterations

Useful iterations: 2 (31.0ms)

IterNodesCost
0299503
11242422
25001407

prune138.0ms

Filtered
57 candidates to 44 candidates (77.2%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New52557
Fresh000
Picked101
Done000
Total53558

Merged error: 8.8b

Counts
58 → 5

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
0.2b
(* 0.5 (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)))
6.7b
(/ (pow x 2) y)
10.1b
(/ (pow z 2) y)

rewrite111.0ms

Algorithm
rewrite-expression-head
Rules
485×*-un-lft-identity
344×times-frac
336×prod-diff
331×add-sqr-sqrt
305×add-cube-cbrt
134×unpow-prod-down
115×distribute-rgt-in distribute-lft-in
87×distribute-lft-out
46×unpow2 sqr-pow
16×add-exp-log associate-/l*
14×div-inv
10×associate-*r* add-cbrt-cube difference-of-squares
9×add-log-exp
6×pow1 div-exp associate-/r*
4×expm1-log1p-u fma-neg associate-*r/ frac-sub log1p-expm1-u distribute-lft-out--
3×sub-neg associate-*l* associate--l+
2×cbrt-undiv pow-to-exp flip3-- frac-2neg flip3-+ diff-log pow-exp clear-num flip-- flip-+
1×pow-prod-down prod-exp sum-log *-commutative cbrt-unprod unswap-sqr
Counts
4 → 504
Calls
4 calls:
23.0ms
(- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
36.0ms
(* 0.5 (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)))
5.0ms
(/ (pow x 2) y)
5.0ms
(/ (pow z 2) y)

series134.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
57.0ms
(* 0.5 (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)))
18.0ms
(/ (pow x 2) y)
19.0ms
(/ (pow z 2) y)

simplify198.0ms

Algorithm
egg-herbie
Counts
516 → 516
Iterations

Useful iterations: 1 (32.0ms)

IterNodesCost
0129712356
149188781
250018781

prune745.0ms

Filtered
516 candidates to 153 candidates (29.7%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New5115516
Fresh134
Picked101
Done000
Total5138521

Merged error: 1.0b

Counts
521 → 8

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ y (/ (pow x 2) y)) (* z (/ z y)))
0.2b
(* z (/ z y))
0.2b
(* 0.5 (- (+ y (/ (pow x 2) y)) (* z (/ z y))))
6.7b
(/ (pow x 2) y)

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
43×*-un-lft-identity
42×add-sqr-sqrt
35×add-cube-cbrt
34×times-frac
16×add-exp-log associate-*r*
13×add-cbrt-cube
12×unpow-prod-down prod-diff
9×associate-*r/ add-log-exp
8×pow1 associate-/l*
7×distribute-rgt-in distribute-lft-in
6×associate-*l*
4×expm1-log1p-u fma-neg div-exp frac-sub log1p-expm1-u distribute-lft-out unpow2 sqr-pow
3×sub-neg prod-exp associate--l+ associate-/r* cbrt-unprod unswap-sqr
2×cbrt-undiv flip3-- flip3-+ diff-log pow-prod-down *-commutative flip-- flip-+ div-inv
1×pow-to-exp frac-2neg pow-exp clear-num sum-log
Counts
4 → 149
Calls
4 calls:
13.0ms
(- (+ y (/ (pow x 2) y)) (* z (/ z y)))
7.0ms
(* z (/ z y))
14.0ms
(* 0.5 (- (+ y (/ (pow x 2) y)) (* z (/ z y))))
5.0ms
(/ (pow x 2) y)

series132.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(- (+ y (/ (pow x 2) y)) (* z (/ z y)))
18.0ms
(* z (/ z y))
55.0ms
(* 0.5 (- (+ y (/ (pow x 2) y)) (* z (/ z y))))
18.0ms
(/ (pow x 2) y)

simplify77.0ms

Algorithm
egg-herbie
Counts
161 → 161
Iterations

Useful iterations: 2 (63.0ms)

IterNodesCost
05461140
124231007
250021000

prune295.0ms

Filtered
161 candidates to 104 candidates (64.6%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New1592161
Fresh347
Picked101
Done000
Total1636169

Merged error: 0.0b

Counts
169 → 6

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ y (* x (/ x y))) (* z (/ z y)))
0.2b
(* x (/ x y))
0.2b
(* z (/ z y))
0.2b
(* 0.5 (- (+ y (* x (/ x y))) (* z (/ z y))))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
38×add-sqr-sqrt
29×associate-*r*
26×add-cube-cbrt *-un-lft-identity
20×times-frac
16×add-exp-log add-cbrt-cube
10×pow1 associate-*r/
9×associate-*l* prod-diff add-log-exp
6×distribute-rgt-in distribute-lft-in
5×prod-exp cbrt-unprod unswap-sqr
4×expm1-log1p-u frac-sub log1p-expm1-u
3×sub-neg fma-neg pow-prod-down associate--l+ *-commutative
2×cbrt-undiv flip3-- flip3-+ diff-log div-exp flip-- flip-+ div-inv
1×sum-log
Counts
4 → 128
Calls
4 calls:
5.0ms
(- (+ y (* x (/ x y))) (* z (/ z y)))
6.0ms
(* x (/ x y))
6.0ms
(* z (/ z y))
8.0ms
(* 0.5 (- (+ y (* x (/ x y))) (* z (/ z y))))

series135.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(- (+ y (* x (/ x y))) (* z (/ z y)))
18.0ms
(* x (/ x y))
19.0ms
(* z (/ z y))
56.0ms
(* 0.5 (- (+ y (* x (/ x y))) (* z (/ z y))))

simplify87.0ms

Algorithm
egg-herbie
Counts
140 → 140
Iterations

Useful iterations: 2 (75.0ms)

IterNodesCost
0561989
12772845
25001832

prune234.0ms

Filtered
140 candidates to 96 candidates (68.6%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1391140
Fresh145
Picked011
Done000
Total1406146

Merged error: 0.0b

Counts
146 → 6

regimes102.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0157
1157

end0.0ms

sample883.0ms

Algorithm
intervals
Results
593.0ms13764×body80valid