Details

Time bar (total: 5.2s)

sample24.0ms

Algorithm
intervals
Results
9.0ms341×body80valid

simplify18.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0155
1255
2415
3635
4805
5965
61135
71215
81245
91245

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.6b

localize8.0ms

Local error

Found 2 expressions with local error:

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

rewrite358.0ms

Algorithm
rewrite-expression-head
Rules
1177×times-frac
1063×add-sqr-sqrt
1059×*-un-lft-identity
819×prod-diff
803×add-cube-cbrt
275×distribute-rgt-in distribute-lft-in
125×distribute-lft-out-- difference-of-squares
103×div-inv
78×associate-/r/
41×flip3-- flip--
13×fma-neg
10×associate-*r*
4×pow1 add-exp-log add-cbrt-cube add-log-exp
3×sub-neg associate-*r/ associate-*l*
2×expm1-log1p-u frac-sub log1p-expm1-u
1×diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 888
Calls
2 calls:
58.0ms
(- (/ y z) (/ t (- 1.0 z)))
198.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series95.0ms

Counts
2 → 6
Calls
2 calls:
43.0ms
(- (/ y z) (/ t (- 1.0 z)))
52.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

simplify209.0ms

Algorithm
egg-herbie
Counts
894 → 894
Iterations

Useful iterations: 1 (31.0ms)

IterNodesCost
0159427610
1500122051

prune1.6s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.5b

localize15.0ms

Local error

Found 2 expressions with local error:

0.1b
(fma y (/ 1 z) (- (* (/ t (- 1.0 z)) 1)))
5.3b
(* x (+ (fma y (/ 1 z) (- (* (/ t (- 1.0 z)) 1))) (* (/ t (- 1.0 z)) (+ (- 1) 1))))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt
4×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
3×associate-*r* associate-*l*
2×expm1-log1p-u associate-*r/ log1p-expm1-u add-log-exp
1×distribute-rgt-in distribute-lft-in flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ fma-udef unswap-sqr
Counts
2 → 34
Calls
2 calls:
0.0ms
(fma y (/ 1 z) (- (* (/ t (- 1.0 z)) 1)))
16.0ms
(* x (+ (fma y (/ 1 z) (- (* (/ t (- 1.0 z)) 1))) (* (/ t (- 1.0 z)) (+ (- 1) 1))))

series113.0ms

Counts
2 → 6
Calls
2 calls:
48.0ms
(fma y (/ 1 z) (- (* (/ t (- 1.0 z)) 1)))
65.0ms
(* x (+ (fma y (/ 1 z) (- (* (/ t (- 1.0 z)) 1))) (* (/ t (- 1.0 z)) (+ (- 1) 1))))

simplify41.0ms

Algorithm
egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 2 (36.0ms)

IterNodesCost
0237529
11214456
25002403

prune159.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
0.6b
(cbrt y)
5.3b
(* x (fma (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) z) (- (/ t (- 1.0 z)))))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
9×cbrt-prod add-cube-cbrt *-un-lft-identity
6×pow1 add-exp-log add-cbrt-cube
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3 associate-*r* associate-*l*
2×fma-udef
1×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 61
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)
7.0ms
(* x (fma (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) z) (- (/ t (- 1.0 z)))))

series743.0ms

Counts
4 → 12
Calls
4 calls:
192.0ms
(cbrt y)
182.0ms
(cbrt y)
188.0ms
(cbrt y)
180.0ms
(* x (fma (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) z) (- (/ t (- 1.0 z)))))

simplify111.0ms

Algorithm
egg-herbie
Counts
73 → 73
Iterations

Useful iterations: 3 (106.0ms)

IterNodesCost
0177472
1691408
23934379
35001364

prune249.0ms

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 3 expressions with local error:

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

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
30×add-sqr-sqrt
25×*-un-lft-identity times-frac
21×associate-*r*
19×add-cube-cbrt
13×add-exp-log add-cbrt-cube
7×fma-neg prod-diff
5×pow1 add-log-exp
4×div-inv
3×cbrt-undiv expm1-log1p-u div-exp associate-*l* prod-exp associate-/r* cbrt-unprod log1p-expm1-u distribute-lft-out-- difference-of-squares
2×flip3-- associate-*r/ associate-/r/ flip-- unswap-sqr
1×sub-neg frac-2neg diff-log pow-prod-down clear-num *-commutative frac-sub associate-/l*
Counts
3 → 94
Calls
3 calls:
19.0ms
(- (/ (* x y) z) (* x (/ t (- 1.0 z))))
32.0ms
(* x (/ t (- 1.0 z)))
10.0ms
(/ (* x y) z)

series147.0ms

Counts
3 → 9
Calls
3 calls:
70.0ms
(- (/ (* x y) z) (* x (/ t (- 1.0 z))))
56.0ms
(* x (/ t (- 1.0 z)))
20.0ms
(/ (* x y) z)

simplify66.0ms

Algorithm
egg-herbie
Counts
103 → 103
Iterations

Useful iterations: 2 (59.0ms)

IterNodesCost
0483636
12347573
25001567

prune250.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0b

regimes283.0ms

Accuracy

96.7% (0.2b remaining)

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

bsearch1.0ms

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05955
18355
28655
38655

end0.0ms

sample640.0ms

Algorithm
intervals
Results
292.0ms10146×body80valid