Details

Time bar (total: 3.8s)

sample22.0ms

Algorithm
intervals
Results
9.0ms269×body80valid

simplify44.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0258
1398
2648
31158
42078
54658
613378
750018

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.7b

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* t z) x)
0.0b
(- (* y z) x)
0.7b
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
10.7b
(/ (- (* y z) x) (- (* t z) x))

rewrite166.0ms

Algorithm
rewrite-expression-head
Rules
44×*-un-lft-identity
25×times-frac
24×add-sqr-sqrt add-cube-cbrt
10×distribute-lft-out
8×add-exp-log add-cbrt-cube add-log-exp
7×associate-/r* associate-/l*
6×prod-diff
4×pow1 expm1-log1p-u flip3-- associate-/r/ flip-- log1p-expm1-u associate-/l/
3×div-sub
2×cbrt-undiv sub-neg frac-2neg flip3-+ fma-neg diff-log div-exp clear-num flip-+ div-inv
1×associate-+r-
Counts
4 → 113
Calls
4 calls:
8.0ms
(- (* t z) x)
8.0ms
(- (* y z) x)
119.0ms
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
27.0ms
(/ (- (* y z) x) (- (* t z) x))

series191.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(- (* t z) x)
18.0ms
(- (* y z) x)
102.0ms
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
47.0ms
(/ (- (* y z) x) (- (* t z) x))

simplify59.0ms

Algorithm
egg-herbie
Counts
125 → 125
Iterations

Useful iterations: 1 (13.0ms)

IterNodesCost
04621042
12015941
25001941

prune314.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.7b

localize15.0ms

Local error

Found 4 expressions with local error:

0.7b
(/ (fma (/ y (- (* t z) x)) z x) (* (+ x 1.0) 1))
2.6b
(/ y (- (* t z) x))
3.5b
(fma (/ y (- (* t z) x)) z x)
4.7b
(/ x (- (* t z) x))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
21×times-frac
15×add-exp-log
13×add-cbrt-cube
9×associate-/l*
7×associate-/r*
6×associate-/r/
5×div-exp
4×pow1 cbrt-undiv expm1-log1p-u log1p-expm1-u add-log-exp
3×frac-2neg clear-num div-inv
2×flip3-- associate-*l/ prod-exp flip--
1×flip3-+ 1-exp cbrt-unprod flip-+ fma-udef
Counts
4 → 98
Calls
4 calls:
13.0ms
(/ (fma (/ y (- (* t z) x)) z x) (* (+ x 1.0) 1))
13.0ms
(/ y (- (* t z) x))
0.0ms
(fma (/ y (- (* t z) x)) z x)
13.0ms
(/ x (- (* t z) x))

series199.0ms

Counts
4 → 12
Calls
4 calls:
76.0ms
(/ (fma (/ y (- (* t z) x)) z x) (* (+ x 1.0) 1))
25.0ms
(/ y (- (* t z) x))
48.0ms
(fma (/ y (- (* t z) x)) z x)
50.0ms
(/ x (- (* t z) x))

simplify44.0ms

Algorithm
egg-herbie
Counts
110 → 110
Iterations

Useful iterations: 2 (35.0ms)

IterNodesCost
0423735
11590652
25001650

prune318.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.7b

localize18.0ms

Local error

Found 4 expressions with local error:

0.7b
(/ (fma (/ y (- (* t z) x)) z x) (* (+ x 1.0) 1))
2.6b
(/ y (- (* t z) x))
3.5b
(fma (/ y (- (* t z) x)) z x)
4.6b
(* x (/ 1 (- (* t z) x)))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
23×*-un-lft-identity times-frac
22×add-exp-log add-cube-cbrt
16×add-cbrt-cube
15×associate-*r*
6×pow1 div-exp prod-exp associate-/r/ associate-/l*
4×cbrt-undiv expm1-log1p-u associate-/r* log1p-expm1-u add-log-exp
3×associate-*l* cbrt-unprod div-inv unswap-sqr
2×flip3-- frac-2neg 1-exp associate-*l/ clear-num flip--
1×rec-exp flip3-+ associate-*r/ pow-prod-down un-div-inv *-commutative flip-+ fma-udef
Counts
4 → 107
Calls
4 calls:
13.0ms
(/ (fma (/ y (- (* t z) x)) z x) (* (+ x 1.0) 1))
12.0ms
(/ y (- (* t z) x))
0.0ms
(fma (/ y (- (* t z) x)) z x)
34.0ms
(* x (/ 1 (- (* t z) x)))

series193.0ms

Counts
4 → 12
Calls
4 calls:
73.0ms
(/ (fma (/ y (- (* t z) x)) z x) (* (+ x 1.0) 1))
24.0ms
(/ y (- (* t z) x))
47.0ms
(fma (/ y (- (* t z) x)) z x)
48.0ms
(* x (/ 1 (- (* t z) x)))

simplify54.0ms

Algorithm
egg-herbie
Counts
119 → 119
Iterations

Useful iterations: 2 (45.0ms)

IterNodesCost
0510780
12155676
25001659

prune332.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.7b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* t z) x)
0.0b
(- (* y z) x)
0.8b
(* (+ x (/ (- (* y z) x) (- (* t z) x))) (/ 1 (+ x 1.0)))
10.7b
(/ (- (* y z) x) (- (* t z) x))

rewrite209.0ms

Algorithm
rewrite-expression-head
Rules
32×*-un-lft-identity
30×add-sqr-sqrt
23×add-cube-cbrt times-frac
18×associate-*r*
15×add-exp-log
11×add-cbrt-cube
8×add-log-exp
6×pow1 prod-diff
4×expm1-log1p-u flip3-- associate-*l* prod-exp associate-/r/ flip-- log1p-expm1-u distribute-lft-out
3×flip3-+ div-exp associate-/r* flip-+ associate-/l* unswap-sqr
2×cbrt-undiv frac-times sub-neg fma-neg diff-log associate-*l/ cbrt-unprod div-inv associate-/l/
1×rec-exp frac-2neg 1-exp div-sub associate-*r/ pow-prod-down clear-num un-div-inv *-commutative
Counts
4 → 118
Calls
4 calls:
8.0ms
(- (* t z) x)
8.0ms
(- (* y z) x)
161.0ms
(* (+ x (/ (- (* y z) x) (- (* t z) x))) (/ 1 (+ x 1.0)))
27.0ms
(/ (- (* y z) x) (- (* t z) x))

series197.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(- (* t z) x)
20.0ms
(- (* y z) x)
104.0ms
(* (+ x (/ (- (* y z) x) (- (* t z) x))) (/ 1 (+ x 1.0)))
49.0ms
(/ (- (* y z) x) (- (* t z) x))

simplify78.0ms

Algorithm
egg-herbie
Counts
130 → 130
Iterations

Useful iterations: 2 (67.0ms)

IterNodesCost
05801061
12826936
25001920

prune306.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.7b

regimes194.0ms

Accuracy

21.9% (3.4b remaining)

Error of 3.6b against oracle of 0.2b and baseline of 4.5b

bsearch105.0ms

Steps
ItersRangePoint
10
1.7298187667743967e-198
9.661391276069124e-188
9.561382895333631e-188
10
-5.728095540374477e+188
-3.1429372089075174e+177
-3.5507852856300137e+177

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04227
14427
24427

end0.0ms

sample575.0ms

Algorithm
intervals
Results
301.0ms8365×body80valid