Details

Time bar (total: 4.7s)

sample22.0ms

Algorithm
intervals
Results
9.0ms263×body80valid

simplify45.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.2b

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite164.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
(- (* y z) x)
8.0ms
(- (* t z) x)
116.0ms
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
29.0ms
(/ (- (* y z) x) (- (* t z) x))

series231.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(- (* y z) x)
24.0ms
(- (* t z) x)
124.0ms
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
61.0ms
(/ (- (* y z) x) (- (* t z) x))

simplify63.0ms

Algorithm
egg-herbie
Counts
125 → 125
Iterations

Useful iterations: 1 (12.0ms)

IterNodesCost
04621042
12015941
25001941

prune304.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (/ x (- (* t z) x)) (+ x 1.0))
2.2b
(/ x (- (* t z) x))
2.7b
(fma (/ y (- (* t z) x)) z x)
2.9b
(/ y (- (* t z) x))

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
123×times-frac
103×*-un-lft-identity
71×add-sqr-sqrt add-cube-cbrt
21×associate-/l*
16×associate-/r/ distribute-lft-out
13×add-exp-log add-cbrt-cube
10×associate-/r*
8×div-inv
7×flip3-- flip--
5×cbrt-undiv div-exp
4×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
3×frac-2neg clear-num
1×flip3-+ flip-+ fma-udef associate-/l/
Counts
4 → 170
Calls
4 calls:
36.0ms
(/ (/ x (- (* t z) x)) (+ x 1.0))
13.0ms
(/ x (- (* t z) x))
0.0ms
(fma (/ y (- (* t z) x)) z x)
13.0ms
(/ y (- (* t z) x))

series248.0ms

Counts
4 → 12
Calls
4 calls:
98.0ms
(/ (/ x (- (* t z) x)) (+ x 1.0))
57.0ms
(/ x (- (* t z) x))
60.0ms
(fma (/ y (- (* t z) x)) z x)
33.0ms
(/ y (- (* t z) x))

simplify64.0ms

Algorithm
egg-herbie
Counts
182 → 182
Iterations

Useful iterations: 1 (13.0ms)

IterNodesCost
05821552
122871475
250021475

prune568.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (/ x (- (* t z) x)) (+ x 1.0))
2.2b
(/ x (- (* t z) x))
2.9b
(/ y (- (* t z) x))
7.5b
(* (/ y (- (* t z) x)) z)

rewrite102.0ms

Algorithm
rewrite-expression-head
Rules
133×times-frac
111×*-un-lft-identity
84×add-sqr-sqrt
79×add-cube-cbrt
21×associate-/l*
18×add-exp-log associate-/r/ add-cbrt-cube
16×distribute-lft-out
15×associate-*l*
10×associate-/r*
9×div-inv
8×flip3-- flip--
6×pow1 cbrt-undiv div-exp
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×frac-2neg associate-*r* clear-num
2×prod-exp cbrt-unprod unswap-sqr
1×flip3-+ pow-prod-down associate-*l/ *-commutative flip-+ associate-/l/
Counts
4 → 196
Calls
4 calls:
33.0ms
(/ (/ x (- (* t z) x)) (+ x 1.0))
12.0ms
(/ x (- (* t z) x))
15.0ms
(/ y (- (* t z) x))
34.0ms
(* (/ y (- (* t z) x)) z)

series233.0ms

Counts
4 → 12
Calls
4 calls:
101.0ms
(/ (/ x (- (* t z) x)) (+ x 1.0))
62.0ms
(/ x (- (* t z) x))
32.0ms
(/ y (- (* t z) x))
38.0ms
(* (/ y (- (* t z) x)) z)

simplify69.0ms

Algorithm
egg-herbie
Counts
208 → 208
Iterations

Useful iterations: 1 (17.0ms)

IterNodesCost
06481693
125281600
250011600

prune594.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

1.6b
(* (* (cbrt y) (cbrt y)) (/ (cbrt y) (- (* t z) x)))
1.6b
(/ (cbrt y) (- (* t z) x))
2.2b
(/ x (- (* t z) x))
2.7b
(fma (* (* (cbrt y) (cbrt y)) (/ (cbrt y) (- (* t z) x))) z x)

rewrite87.0ms

Algorithm
rewrite-expression-head
Rules
47×times-frac
45×add-sqr-sqrt
40×add-cube-cbrt *-un-lft-identity
24×associate-*r*
22×cbrt-prod
20×add-exp-log
13×add-cbrt-cube
9×pow1 associate-/l*
6×prod-exp associate-/r* associate-/r/ cbrt-unprod
4×cbrt-undiv expm1-log1p-u div-exp log1p-expm1-u add-log-exp
3×flip3-- pow-prod-down flip-- div-inv unswap-sqr
2×frac-2neg clear-num
1×associate-*r/ associate-*l* *-commutative fma-udef
Counts
4 → 133
Calls
4 calls:
56.0ms
(* (* (cbrt y) (cbrt y)) (/ (cbrt y) (- (* t z) x)))
14.0ms
(/ (cbrt y) (- (* t z) x))
13.0ms
(/ x (- (* t z) x))
0.0ms
(fma (* (* (cbrt y) (cbrt y)) (/ (cbrt y) (- (* t z) x))) z x)

series307.0ms

Counts
4 → 12
Calls
4 calls:
53.0ms
(* (* (cbrt y) (cbrt y)) (/ (cbrt y) (- (* t z) x)))
107.0ms
(/ (cbrt y) (- (* t z) x))
62.0ms
(/ x (- (* t z) x))
85.0ms
(fma (* (* (cbrt y) (cbrt y)) (/ (cbrt y) (- (* t z) x))) z x)

simplify62.0ms

Algorithm
egg-herbie
Counts
145 → 145
Iterations

Useful iterations: 2 (51.0ms)

IterNodesCost
04721215
123031092
250011048

prune474.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

regimes154.0ms

Accuracy

41.4% (2.7b remaining)

Error of 3.0b against oracle of 0.4b and baseline of 5.0b

bsearch176.0ms

Steps
ItersRangePoint
10
6.200309266674197e+38
1.6938651429533267e+53
1.0382962873080827e+46
8
-5.923964173074923e+119
-1.1729672970051763e+117
-2.9668302515090302e+118
5
-3.767479681602937e+160
-1.8259778746570116e+160
-2.5806840213600397e+160
9
-6.825201287711091e+214
-3.620900795586815e+209
-1.4125849650261744e+211

simplify9.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05249
15449
25449

end0.0ms

sample592.0ms

Algorithm
intervals
Results
308.0ms8347×body80valid