Details

Time bar (total: 4.5s)

sample47.0ms

Algorithm
intervals
Results
33.0ms422×body80valid

simplify70.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0227
1557
21017
31827
43357
57317
618287
750017

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.2b

localize18.0ms

Local error

Found 2 expressions with local error:

5.1b
(- (+ (* x x) (* y y)) (* z z))
26.3b
(/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
7×add-exp-log add-sqr-sqrt add-cbrt-cube add-log-exp
4×add-cube-cbrt *-un-lft-identity times-frac associate-/l*
3×difference-of-squares
2×pow1 cbrt-undiv flip3-- diff-log div-exp flip-- 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 → 41
Calls
2 calls:
16.0ms
(- (+ (* x x) (* y y)) (* z z))
32.0ms
(/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0))

series123.0ms

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

simplify36.0ms

Algorithm
egg-herbie
Counts
47 → 47
Iterations

Useful iterations: 2 (31.0ms)

IterNodesCost
0275450
11168388
25001380

prune121.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 13.1b

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
11.4b
(/ (pow x 2) y)
12.8b
(/ (pow z 2) y)

rewrite128.0ms

Algorithm
rewrite-expression-head
Rules
52×times-frac
49×add-sqr-sqrt
42×*-un-lft-identity
37×add-cube-cbrt
25×unpow-prod-down
16×associate-/l*
13×add-exp-log
9×unpow2 sqr-pow
8×add-log-exp
7×add-cbrt-cube
6×div-exp associate-/r*
5×difference-of-squares
3×pow1
2×cbrt-undiv pow-to-exp frac-2neg diff-log pow-exp clear-num frac-sub div-inv distribute-lft-out--
1×sub-neg flip3-- flip3-+ associate--l+ sum-log flip-- flip-+ distribute-lft-out
Counts
3 → 121
Calls
3 calls:
115.0ms
(- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
4.0ms
(/ (pow x 2) y)
4.0ms
(/ (pow z 2) y)

series76.0ms

Counts
3 → 9
Calls
3 calls:
38.0ms
(- (+ y (/ (pow x 2) y)) (/ (pow z 2) y))
17.0ms
(/ (pow x 2) y)
21.0ms
(/ (pow z 2) y)

simplify48.0ms

Algorithm
egg-herbie
Counts
130 → 130
Iterations

Useful iterations: 2 (38.0ms)

IterNodesCost
0410766
11420699
25002687

prune308.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.8b

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (+ y (/ (pow x 2) y)) (/ (pow z (/ 2 2)) (/ y z)))
0.2b
(/ (pow z (/ 2 2)) (/ y z))
11.4b
(/ (pow x 2) y)

rewrite158.0ms

Algorithm
rewrite-expression-head
Rules
196×times-frac
125×add-sqr-sqrt
109×*-un-lft-identity
104×add-cube-cbrt
56×unpow-prod-down
21×add-exp-log
20×sqr-pow
16×associate-/r*
15×associate-/l*
12×div-exp
10×add-cbrt-cube div-inv
8×add-log-exp
7×difference-of-squares
4×cbrt-undiv unpow2
3×pow1 pow-to-exp pow-exp
2×frac-2neg diff-log clear-num frac-sub distribute-lft-out--
1×sub-neg flip3-- flip3-+ associate--l+ sum-log associate-/r/ flip-- flip-+ distribute-lft-out
Counts
3 → 204
Calls
3 calls:
133.0ms
(- (+ y (/ (pow x 2) y)) (/ (pow z (/ 2 2)) (/ y z)))
10.0ms
(/ (pow z (/ 2 2)) (/ y z))
4.0ms
(/ (pow x 2) y)

series80.0ms

Counts
3 → 9
Calls
3 calls:
39.0ms
(- (+ y (/ (pow x 2) y)) (/ (pow z (/ 2 2)) (/ y z)))
23.0ms
(/ (pow z (/ 2 2)) (/ y z))
18.0ms
(/ (pow x 2) y)

simplify108.0ms

Algorithm
egg-herbie
Counts
213 → 213
Iterations

Useful iterations: 2 (90.0ms)

IterNodesCost
08241550
137701352
250011344

prune413.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (+ y (/ (pow x (/ 2 2)) (/ y x))) (/ (pow z (/ 2 2)) (/ y z)))
0.1b
(/ (pow x (/ 2 2)) (/ y x))
0.2b
(/ (pow z (/ 2 2)) (/ y z))

rewrite362.0ms

Algorithm
rewrite-expression-head
Rules
335×times-frac
192×add-sqr-sqrt
176×*-un-lft-identity
171×add-cube-cbrt
86×unpow-prod-down
30×sqr-pow
29×add-exp-log
26×associate-/r*
18×div-exp div-inv
14×associate-/l*
13×add-cbrt-cube
8×add-log-exp
7×difference-of-squares
6×cbrt-undiv
4×pow-to-exp pow-exp
3×pow1
2×frac-2neg diff-log clear-num associate-/r/ frac-sub distribute-lft-out--
1×sub-neg flip3-- flip3-+ associate--l+ sum-log flip-- flip-+ distribute-lft-out
Counts
3 → 285
Calls
3 calls:
331.0ms
(- (+ y (/ (pow x (/ 2 2)) (/ y x))) (/ (pow z (/ 2 2)) (/ y z)))
8.0ms
(/ (pow x (/ 2 2)) (/ y x))
7.0ms
(/ (pow z (/ 2 2)) (/ y z))

series83.0ms

Counts
3 → 9
Calls
3 calls:
45.0ms
(- (+ y (/ (pow x (/ 2 2)) (/ y x))) (/ (pow z (/ 2 2)) (/ y z)))
19.0ms
(/ (pow x (/ 2 2)) (/ y x))
20.0ms
(/ (pow z (/ 2 2)) (/ y z))

simplify52.0ms

Algorithm
egg-herbie
Counts
294 → 294
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
011822301
150011982

prune557.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

regimes93.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0219
1239
2239

end0.0ms

sample1.5s

Algorithm
intervals
Results
982.0ms13596×body80valid