Details

Time bar (total: 8.9s)

sample28.0ms

Algorithm
intervals
Results
15.0ms328×body80valid

simplify19.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0155
1255
2415
3635
4805
5965
61135
71215
81245
91245

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.7b

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ t (- 1.0 z))
0.0b
(- (/ y z) (/ t (- 1.0 z)))
4.4b
(* x (- (/ y z) (/ t (- 1.0 z))))

rewrite291.0ms

Algorithm
rewrite-expression-head
Rules
1192×times-frac
1082×add-sqr-sqrt
1078×*-un-lft-identity
819×prod-diff
814×add-cube-cbrt
275×distribute-rgt-in distribute-lft-in
129×distribute-lft-out-- difference-of-squares
104×div-inv
80×associate-/r/
42×flip3-- flip--
13×fma-neg
10×associate-*r*
7×add-exp-log add-cbrt-cube
5×pow1 associate-/r* add-log-exp
3×expm1-log1p-u sub-neg associate-*r/ associate-*l* log1p-expm1-u associate-/l*
2×frac-sub
1×cbrt-undiv frac-2neg diff-log div-exp pow-prod-down prod-exp clear-num *-commutative cbrt-unprod unswap-sqr
Counts
3 → 927
Calls
3 calls:
5.0ms
(/ t (- 1.0 z))
40.0ms
(- (/ y z) (/ t (- 1.0 z)))
146.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series117.0ms

Counts
3 → 9
Calls
3 calls:
34.0ms
(/ t (- 1.0 z))
37.0ms
(- (/ y z) (/ t (- 1.0 z)))
46.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

simplify244.0ms

Algorithm
egg-herbie
Counts
936 → 936
Iterations

Useful iterations: 1 (38.0ms)

IterNodesCost
0166127825
1500122260

prune1.6s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (- 1.0 z) t)
0.0b
(- (/ y z) (/ 1 (/ (- 1.0 z) t)))
0.3b
(/ 1 (/ (- 1.0 z) t))
4.4b
(* x (- (/ y z) (/ 1 (/ (- 1.0 z) t))))

rewrite790.0ms

Algorithm
rewrite-expression-head
Rules
5831×times-frac
4016×add-sqr-sqrt
3970×*-un-lft-identity
3214×add-cube-cbrt
2418×prod-diff
808×distribute-rgt-in distribute-lft-in
387×difference-of-squares
373×distribute-lft-out--
351×div-inv
40×associate-/r/
22×associate-/r*
19×add-exp-log
16×associate-*r*
13×fma-neg add-cbrt-cube
8×div-exp associate-/l*
7×pow1
6×add-log-exp
4×cbrt-undiv expm1-log1p-u log1p-expm1-u
3×sub-neg flip3-- associate-*r/ associate-*l* flip--
2×rec-exp frac-2neg 1-exp clear-num frac-sub associate-/l/
1×pow-flip diff-log div-sub pow-prod-down prod-exp *-commutative cbrt-unprod inv-pow unswap-sqr
Counts
4 → 2641
Calls
4 calls:
9.0ms
(/ (- 1.0 z) t)
78.0ms
(- (/ y z) (/ 1 (/ (- 1.0 z) t)))
9.0ms
(/ 1 (/ (- 1.0 z) t))
340.0ms
(* x (- (/ y z) (/ 1 (/ (- 1.0 z) t))))

series147.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(/ (- 1.0 z) t)
33.0ms
(- (/ y z) (/ 1 (/ (- 1.0 z) t)))
25.0ms
(/ 1 (/ (- 1.0 z) t))
53.0ms
(* x (- (/ y z) (/ 1 (/ (- 1.0 z) t))))

simplify862.0ms

Algorithm
egg-herbie
Counts
2653 → 2653
Iterations

Useful iterations: 1 (79.0ms)

IterNodesCost
04305107328
1500189169

prune2.0s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b
(* t (/ 1 (- 1.0 z)))
0.1b
(fma y (/ 1 z) (- (* t (/ 1 (- 1.0 z)))))
4.4b
(* x (fma y (/ 1 z) (- (* t (/ 1 (- 1.0 z))))))
27.3b
(fma (- t) (/ 1 (- 1.0 z)) (* t (/ 1 (- 1.0 z))))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt
24×associate-*r*
23×*-un-lft-identity
17×times-frac
16×add-cube-cbrt
15×add-exp-log
11×add-cbrt-cube
8×pow1
6×associate-*l*
5×prod-exp
4×expm1-log1p-u fma-udef log1p-expm1-u add-log-exp unswap-sqr
3×cbrt-unprod distribute-lft-out-- difference-of-squares
2×div-exp pow-prod-down associate-/r/ *-commutative
1×cbrt-undiv distribute-rgt-in rec-exp flip3-- distribute-lft-in 1-exp associate-*r/ un-div-inv flip-- div-inv
Counts
4 → 88
Calls
4 calls:
17.0ms
(* t (/ 1 (- 1.0 z)))
0.0ms
(fma y (/ 1 z) (- (* t (/ 1 (- 1.0 z)))))
3.0ms
(* x (fma y (/ 1 z) (- (* t (/ 1 (- 1.0 z))))))
0.0ms
(fma (- t) (/ 1 (- 1.0 z)) (* t (/ 1 (- 1.0 z))))

series171.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(* t (/ 1 (- 1.0 z)))
50.0ms
(fma y (/ 1 z) (- (* t (/ 1 (- 1.0 z)))))
52.0ms
(* x (fma y (/ 1 z) (- (* t (/ 1 (- 1.0 z))))))
36.0ms
(fma (- t) (/ 1 (- 1.0 z)) (* t (/ 1 (- 1.0 z))))

simplify58.0ms

Algorithm
egg-herbie
Counts
100 → 100
Iterations

Useful iterations: 2 (50.0ms)

IterNodesCost
0412684
11810582
25001547

prune352.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt z)
0.5b
(* (cbrt z) (cbrt z))
4.4b
(* x (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (* t (/ 1 (- 1.0 z))))))
27.3b
(fma (- t) (/ 1 (- 1.0 z)) (* t (/ 1 (- 1.0 z))))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
19×cbrt-prod
15×add-cube-cbrt *-un-lft-identity
13×pow1
9×associate-*r* associate-*l*
8×add-exp-log
7×pow1/3
6×swap-sqr add-cbrt-cube
5×unswap-sqr
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow-prod-down fma-udef
2×prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod
1×pow2 distribute-rgt-in distribute-lft-in pow-plus
Counts
4 → 87
Calls
4 calls:
1.0ms
(cbrt z)
6.0ms
(* (cbrt z) (cbrt z))
3.0ms
(* x (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (* t (/ 1 (- 1.0 z))))))
0.0ms
(fma (- t) (/ 1 (- 1.0 z)) (* t (/ 1 (- 1.0 z))))

series593.0ms

Counts
4 → 12
Calls
4 calls:
175.0ms
(cbrt z)
199.0ms
(* (cbrt z) (cbrt z))
186.0ms
(* x (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (* t (/ 1 (- 1.0 z))))))
33.0ms
(fma (- t) (/ 1 (- 1.0 z)) (* t (/ 1 (- 1.0 z))))

simplify44.0ms

Algorithm
egg-herbie
Counts
99 → 99
Iterations

Useful iterations: 2 (37.0ms)

IterNodesCost
0254690
11107596
25001562

prune359.0ms

Pruning

11 alts after pruning (8 fresh and 3 done)

Merged error: 0.0b

regimes239.0ms

Accuracy

18.8% (4.2b remaining)

Error of 4.2b against oracle of 0.0b and baseline of 5.2b

bsearch84.0ms

Steps
ItersRangePoint
6
4.881321704601372e-164
2.2017888533720235e-163
2.083518985856874e-163
5
-8.032217030783584e+126
-2.6718536626201928e+126
-3.721836431297076e+126

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04938
15738
25938
35938

end0.0ms

sample740.0ms

Algorithm
intervals
Results
487.0ms10147×body80valid