Details

Time bar (total: 3.6s)

sample38.0ms

Algorithm
intervals
Results
11.0ms59×body1280valid
10.0ms45×body640valid
5.0ms134×body80valid
1.0ms13×body320valid
0.0ms5×body160valid

simplify21.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0126
1166
2196
3216
4276
5396
6586
7796
81076
91606
102776
113036
123036

prune1.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.5b

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ x (+ x 1.0))
0.0b
(/ (+ x 1.0) (- x 1.0))
1.3b
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
99×*-un-lft-identity
52×times-frac
45×add-sqr-sqrt
23×add-cube-cbrt
18×distribute-lft-out distribute-lft-out--
9×associate-/r* difference-of-squares
7×add-exp-log add-cbrt-cube associate-/l*
5×add-log-exp
4×associate-/r/
3×pow1
2×cbrt-undiv flip3-- frac-2neg flip3-+ div-exp clear-num flip-- flip-+ div-inv associate-/l/
1×sub-neg diff-log frac-sub
Counts
3 → 104
Calls
3 calls:
5.0ms
(/ x (+ x 1.0))
11.0ms
(/ (+ x 1.0) (- x 1.0))
55.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

series205.0ms

Counts
3 → 9
Calls
3 calls:
34.0ms
(/ x (+ x 1.0))
42.0ms
(/ (+ x 1.0) (- x 1.0))
128.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

simplify46.0ms

Algorithm
egg-herbie
Counts
113 → 113
Iterations

Useful iterations: 2 (32.0ms)

IterNodesCost
0392760
11379726
25001716

prune195.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
17.8b
(- (* (* (cbrt x) (cbrt x)) (/ (cbrt x) (+ x 1.0))) (/ (+ x 1.0) (- x 1.0)))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×add-log-exp
4×pow1 add-exp-log add-cbrt-cube
3×pow1/3
1×sub-neg flip3-- diff-log associate-*r/ frac-sub flip--
Counts
4 → 46
Calls
4 calls:
0.0ms
(cbrt x)
0.0ms
(cbrt x)
0.0ms
(cbrt x)
25.0ms
(- (* (* (cbrt x) (cbrt x)) (/ (cbrt x) (+ x 1.0))) (/ (+ x 1.0) (- x 1.0)))

series696.0ms

Counts
4 → 12
Calls
4 calls:
185.0ms
(cbrt x)
181.0ms
(cbrt x)
180.0ms
(cbrt x)
150.0ms
(- (* (* (cbrt x) (cbrt x)) (/ (cbrt x) (+ x 1.0))) (/ (+ x 1.0) (- x 1.0)))

simplify102.0ms

Algorithm
egg-herbie
Counts
58 → 58
Iterations

Useful iterations: 2 (21.0ms)

IterNodesCost
0186376
1637335
23340317
35002317

prune157.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ x 1.0) (- x 1.0))
0.0b
(/ (- (- (* x (+ x (- 1.0))) (* 1.0 (+ x 1.0))) (* x (+ x 1.0))) (* (+ x 1.0) (- x 1.0)))
0.0b
(- (* x (+ x (- 1.0))) (* 1.0 (+ x 1.0)))
17.7b
(- (- (* x (+ x (- 1.0))) (* 1.0 (+ x 1.0))) (* x (+ x 1.0)))

rewrite193.0ms

Algorithm
rewrite-expression-head
Rules
68×associate-*r/
44×frac-sub
38×flip3-+ flip-+
14×associate-/l/
13×flip3-- flip--
12×add-sqr-sqrt *-un-lft-identity
11×add-exp-log add-cbrt-cube add-log-exp
8×frac-times add-cube-cbrt associate--l+ associate-/r/
6×pow1 distribute-rgt-in distribute-lft-in
5×sub-neg associate-*r*
4×diff-log associate-*l* associate-*l/ associate--r+
3×times-frac associate-/l*
2×cbrt-undiv div-exp prod-exp cbrt-unprod
1×associate--l- frac-2neg div-sub pow-prod-down clear-num associate-/r* *-commutative div-inv distribute-lft-out distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 129
Calls
4 calls:
16.0ms
(* (+ x 1.0) (- x 1.0))
105.0ms
(/ (- (- (* x (+ x (- 1.0))) (* 1.0 (+ x 1.0))) (* x (+ x 1.0))) (* (+ x 1.0) (- x 1.0)))
10.0ms
(- (* x (+ x (- 1.0))) (* 1.0 (+ x 1.0)))
56.0ms
(- (- (* x (+ x (- 1.0))) (* 1.0 (+ x 1.0))) (* x (+ x 1.0)))

series212.0ms

Counts
4 → 12
Calls
4 calls:
79.0ms
(* (+ x 1.0) (- x 1.0))
68.0ms
(/ (- (- (* x (+ x (- 1.0))) (* 1.0 (+ x 1.0))) (* x (+ x 1.0))) (* (+ x 1.0) (- x 1.0)))
23.0ms
(- (* x (+ x (- 1.0))) (* 1.0 (+ x 1.0)))
42.0ms
(- (- (* x (+ x (- 1.0))) (* 1.0 (+ x 1.0))) (* x (+ x 1.0)))

simplify46.0ms

Algorithm
egg-herbie
Counts
141 → 141
Iterations

Useful iterations: 1 (27.0ms)

IterNodesCost
09572080
150021960

prune439.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* 3.0 x) 1.0)
0.0b
(* (+ x 1.0) (- x 1.0))
15.4b
(/ (- (+ (* 3.0 x) 1.0)) (* (+ x 1.0) (- x 1.0)))

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt *-un-lft-identity
11×add-cube-cbrt
10×add-exp-log times-frac add-cbrt-cube associate-/l*
8×frac-times flip3-+ associate-/r/ flip-+
6×distribute-lft-neg-in flip3-- distribute-rgt-neg-in flip--
5×pow1 associate-*r* add-log-exp
4×associate-*r/ associate-*l* associate-*l/
2×cbrt-undiv distribute-rgt-in neg-mul-1 sub-neg distribute-lft-in div-exp prod-exp cbrt-unprod associate-/l/ distribute-neg-frac
1×+-commutative neg-sub0 frac-2neg div-sub distribute-frac-neg pow-prod-down clear-num associate-/r* sum-log *-commutative div-inv distribute-lft-out distribute-lft-out-- difference-of-squares unswap-sqr
Counts
3 → 91
Calls
3 calls:
3.0ms
(+ (* 3.0 x) 1.0)
17.0ms
(* (+ x 1.0) (- x 1.0))
18.0ms
(/ (- (+ (* 3.0 x) 1.0)) (* (+ x 1.0) (- x 1.0)))

series182.0ms

Counts
3 → 9
Calls
3 calls:
38.0ms
(+ (* 3.0 x) 1.0)
78.0ms
(* (+ x 1.0) (- x 1.0))
66.0ms
(/ (- (+ (* 3.0 x) 1.0)) (* (+ x 1.0) (- x 1.0)))

simplify61.0ms

Algorithm
egg-herbie
Counts
100 → 100
Iterations

Useful iterations: 1 (14.0ms)

IterNodesCost
0459731
12328667
25002667

prune200.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

regimes22.0ms

Accuracy

99.9% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 15.2b

bsearch84.0ms

Steps
ItersRangePoint
9
15.365363555117188
8982319.97820102
115896.89857037795
9
-152849402421631.16
-48882.64719934817
-1894516243.7978997

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03915
14615
24615

end0.0ms

sample533.0ms

Algorithm
intervals
Results
184.0ms1748×body1280valid
102.0ms1185×body640valid
92.0ms4099×body80valid
41.0ms647×body320valid
13.0ms321×body160valid