Details

Time bar (total: 8.8s)

sample22.0ms

Algorithm
intervals
Results
10.0ms329×body80valid

simplify17.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.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: 4.4b

localize7.0ms

Local error

Found 3 expressions with local error:

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

rewrite275.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))
38.0ms
(- (/ y z) (/ t (- 1.0 z)))
137.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series123.0ms

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

simplify235.0ms

Algorithm
egg-herbie
Counts
936 → 936
Iterations

Useful iterations: 1 (33.0ms)

IterNodesCost
0166127825
1500122260

prune1.7s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.5b

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.7b
(/ 1 (/ (- 1.0 z) t))
4.2b
(* x (- (/ y z) (/ 1 (/ (- 1.0 z) t))))

rewrite966.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)
75.0ms
(- (/ y z) (/ 1 (/ (- 1.0 z) t)))
9.0ms
(/ 1 (/ (- 1.0 z) t))
322.0ms
(* x (- (/ y z) (/ 1 (/ (- 1.0 z) t))))

series150.0ms

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

simplify877.0ms

Algorithm
egg-herbie
Counts
2653 → 2653
Iterations

Useful iterations: 1 (72.0ms)

IterNodesCost
04305107328
1500189169

prune2.1s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.5b

localize15.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.2b
(* x (fma y (/ 1 z) (- (* t (/ 1 (- 1.0 z))))))
26.4b
(fma (- t) (/ 1 (- 1.0 z)) (* t (/ 1 (- 1.0 z))))

rewrite22.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:
16.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:
35.0ms
(* t (/ 1 (- 1.0 z)))
49.0ms
(fma y (/ 1 z) (- (* t (/ 1 (- 1.0 z)))))
52.0ms
(* x (fma y (/ 1 z) (- (* t (/ 1 (- 1.0 z))))))
35.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

prune355.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.1b
(* t (/ 1 (- 1.0 z)))
1.4b
(* (- x) (/ t (- 1.0 z)))
3.2b
(fma y (/ x z) (* (- x) (/ t (- 1.0 z))))
26.4b
(fma (- t) (/ 1 (- 1.0 z)) (* t (/ 1 (- 1.0 z))))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
50×add-sqr-sqrt
42×associate-*r*
39×*-un-lft-identity
33×times-frac
26×add-cube-cbrt
18×add-exp-log
14×add-cbrt-cube
13×associate-*l*
8×pow1
6×prod-exp distribute-lft-out-- difference-of-squares
5×unswap-sqr
4×expm1-log1p-u associate-/r/ cbrt-unprod log1p-expm1-u add-log-exp
3×distribute-lft-neg-in distribute-rgt-neg-in div-exp
2×cbrt-undiv flip3-- associate-*r/ pow-prod-down *-commutative flip-- fma-udef div-inv
1×distribute-lft-neg-out neg-mul-1 rec-exp 1-exp un-div-inv
Counts
4 → 116
Calls
4 calls:
16.0ms
(* t (/ 1 (- 1.0 z)))
18.0ms
(* (- x) (/ t (- 1.0 z)))
0.0ms
(fma y (/ x z) (* (- x) (/ t (- 1.0 z))))
0.0ms
(fma (- t) (/ 1 (- 1.0 z)) (* t (/ 1 (- 1.0 z))))

series187.0ms

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

simplify78.0ms

Algorithm
egg-herbie
Counts
128 → 128
Iterations

Useful iterations: 2 (65.0ms)

IterNodesCost
0610753
13042662
25002638

prune426.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0b

regimes333.0ms

Accuracy

68.3% (1.9b remaining)

Error of 1.9b against oracle of 0.0b and baseline of 6.1b

bsearch2.0ms

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05856
17356
27656
37656

end0.0ms

sample546.0ms

Algorithm
intervals
Results
299.0ms10060×body80valid