Details

Time bar (total: 5.1s)

sample23.0ms

Algorithm
intervals
Results
9.0ms263×body80valid

simplify49.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

localize14.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))

rewrite182.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:
9.0ms
(- (* y z) x)
9.0ms
(- (* t z) x)
131.0ms
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
30.0ms
(/ (- (* y z) x) (- (* t z) x))

series230.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(- (* y z) x)
27.0ms
(- (* t z) x)
123.0ms
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
57.0ms
(/ (- (* y z) x) (- (* t z) x))

simplify58.0ms

Algorithm
egg-herbie
Counts
125 → 125
Iterations

Useful iterations: 1 (12.0ms)

IterNodesCost
04621042
12015941
25001941

prune294.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize13.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))

rewrite71.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:
34.0ms
(/ (/ x (- (* t z) x)) (+ x 1.0))
16.0ms
(/ x (- (* t z) x))
0.0ms
(fma (/ y (- (* t z) x)) z x)
13.0ms
(/ y (- (* t z) x))

series262.0ms

Counts
4 → 12
Calls
4 calls:
115.0ms
(/ (/ x (- (* t z) x)) (+ x 1.0))
59.0ms
(/ x (- (* t z) x))
54.0ms
(fma (/ y (- (* t z) x)) z x)
34.0ms
(/ y (- (* t z) x))

simplify71.0ms

Algorithm
egg-herbie
Counts
182 → 182
Iterations

Useful iterations: 1 (19.0ms)

IterNodesCost
05821552
122871475
250021475

prune751.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize15.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)

rewrite114.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:
38.0ms
(/ (/ x (- (* t z) x)) (+ x 1.0))
14.0ms
(/ x (- (* t z) x))
14.0ms
(/ y (- (* t z) x))
40.0ms
(* (/ y (- (* t z) x)) z)

series228.0ms

Counts
4 → 12
Calls
4 calls:
99.0ms
(/ (/ x (- (* t z) x)) (+ x 1.0))
57.0ms
(/ x (- (* t z) x))
31.0ms
(/ y (- (* t z) x))
41.0ms
(* (/ y (- (* t z) x)) z)

simplify66.0ms

Algorithm
egg-herbie
Counts
208 → 208
Iterations

Useful iterations: 1 (15.0ms)

IterNodesCost
06481693
125281600
250011600

prune598.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize19.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))
7.5b
(* (* (* (cbrt y) (cbrt y)) (/ (cbrt y) (- (* t z) x))) z)

rewrite220.0ms

Algorithm
rewrite-expression-head
Rules
47×times-frac
46×add-sqr-sqrt
41×add-cube-cbrt *-un-lft-identity
38×add-exp-log
27×associate-*r*
25×add-cbrt-cube
22×cbrt-prod
18×pow1
17×prod-exp cbrt-unprod
9×pow-prod-down associate-/l*
6×cbrt-undiv div-exp associate-/r* associate-/r/
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×flip3-- flip-- div-inv unswap-sqr
2×frac-2neg associate-*r/ associate-*l* clear-num *-commutative
1×associate-*l/
Counts
4 → 151
Calls
4 calls:
61.0ms
(* (* (cbrt y) (cbrt y)) (/ (cbrt y) (- (* t z) x)))
15.0ms
(/ (cbrt y) (- (* t z) x))
14.0ms
(/ x (- (* t z) x))
124.0ms
(* (* (* (cbrt y) (cbrt y)) (/ (cbrt y) (- (* t z) x))) z)

series280.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(* (* (cbrt y) (cbrt y)) (/ (cbrt y) (- (* t z) x)))
105.0ms
(/ (cbrt y) (- (* t z) x))
62.0ms
(/ x (- (* t z) x))
63.0ms
(* (* (* (cbrt y) (cbrt y)) (/ (cbrt y) (- (* t z) x))) z)

simplify77.0ms

Algorithm
egg-herbie
Counts
163 → 163
Iterations

Useful iterations: 2 (58.0ms)

IterNodesCost
05251425
127251222
250021159

prune484.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

regimes161.0ms

Accuracy

41.4% (2.7b remaining)

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

bsearch184.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

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05249
15449
25449

end0.0ms

sample597.0ms

Algorithm
intervals
Results
309.0ms8347×body80valid