Details

Time bar (total: 4.0s)

sample19.0ms

Algorithm
intervals
Results
6.0ms58×body1280valid
3.0ms41×body640valid
3.0ms136×body80valid
1.0ms15×body320valid
0.0ms6×body160valid

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

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.2b

localize6.0ms

Local error

Found 2 expressions with local error:

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

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
81×*-un-lft-identity
40×times-frac
35×add-sqr-sqrt
18×distribute-lft-out--
14×distribute-lft-out
13×add-cube-cbrt
9×difference-of-squares
5×associate-/r*
4×add-exp-log add-cbrt-cube associate-/l* add-log-exp
2×pow1 flip3-- associate-/r/ flip-- associate-/l/
1×cbrt-undiv sub-neg frac-2neg flip3-+ diff-log div-exp clear-num frac-sub flip-+ div-inv
Counts
2 → 71
Calls
2 calls:
8.0ms
(/ (+ x 1.0) (- x 1.0))
29.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

series173.0ms

Counts
2 → 6
Calls
2 calls:
41.0ms
(/ (+ x 1.0) (- x 1.0))
132.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

simplify141.0ms

Algorithm
egg-herbie
Counts
77 → 77
Iterations

Useful iterations: 2 (25.0ms)

IterNodesCost
0317591
11003565
24508559
35003559

prune136.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.2b

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b
(exp (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0))))
0.0b
(/ (+ x 1.0) (- x 1.0))
2.1b
(log (exp (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))))
2.2b
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

rewrite113.0ms

Algorithm
rewrite-expression-head
Rules
178×*-un-lft-identity
80×times-frac
64×add-sqr-sqrt
44×distribute-lft-out--
32×exp-prod
30×distribute-lft-out
18×add-cube-cbrt
17×log-pow difference-of-squares
9×add-log-exp
6×add-exp-log add-cbrt-cube
5×pow1 log-prod associate-/r*
4×exp-sum associate-/l*
3×sub-neg
2×flip3-- exp-diff diff-log associate-/r/ flip-- rem-exp-log associate-/l/
1×cbrt-undiv log-div frac-2neg flip3-+ div-exp rem-log-exp clear-num frac-sub flip-+ div-inv
Counts
4 → 130
Calls
4 calls:
34.0ms
(exp (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0))))
8.0ms
(/ (+ x 1.0) (- x 1.0))
31.0ms
(log (exp (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))))
32.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

series457.0ms

Counts
4 → 12
Calls
4 calls:
148.0ms
(exp (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0))))
41.0ms
(/ (+ x 1.0) (- x 1.0))
132.0ms
(log (exp (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))))
135.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

simplify42.0ms

Algorithm
egg-herbie
Counts
142 → 142
Iterations

Useful iterations: 2 (31.0ms)

IterNodesCost
04041009
11249941
25001931

prune244.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.2b

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
81×*-un-lft-identity
40×times-frac
35×add-sqr-sqrt
18×distribute-lft-out--
14×distribute-lft-out
13×add-cube-cbrt
9×difference-of-squares
5×associate-/r*
4×add-exp-log add-cbrt-cube associate-/l* add-log-exp
2×pow1 flip3-- associate-/r/ flip-- associate-/l/
1×cbrt-undiv sub-neg frac-2neg flip3-+ diff-log div-exp clear-num frac-sub flip-+ div-inv
Counts
2 → 71
Calls
2 calls:
8.0ms
(/ (+ x 1.0) (- x 1.0))
33.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

series173.0ms

Counts
2 → 6
Calls
2 calls:
42.0ms
(/ (+ x 1.0) (- x 1.0))
132.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

simplify144.0ms

Algorithm
egg-herbie
Counts
77 → 77
Iterations

Useful iterations: 2 (27.0ms)

IterNodesCost
0317591
11003565
24508559
35003559

prune126.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.2b

localize12.0ms

Local error

Found 4 expressions with local error:

2.2b
(log (sqrt (exp (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0))))))
2.2b
(log (sqrt (exp (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0))))))
2.2b
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))
2.2b
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

rewrite139.0ms

Algorithm
rewrite-expression-head
Rules
194×*-un-lft-identity
80×times-frac
58×add-sqr-sqrt
52×distribute-lft-out--
38×log-pow
34×sqrt-pow1
32×exp-prod distribute-lft-out
16×log-prod difference-of-squares
10×add-cube-cbrt sqrt-prod
8×pow1 add-log-exp
6×add-exp-log
4×sub-neg exp-sum add-cbrt-cube
2×log-div flip3-- pow1/2 exp-diff sqrt-div diff-log rem-log-exp frac-sub flip--
Counts
4 → 124
Calls
4 calls:
35.0ms
(log (sqrt (exp (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0))))))
36.0ms
(log (sqrt (exp (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0))))))
30.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))
32.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

series904.0ms

Counts
4 → 12
Calls
4 calls:
316.0ms
(log (sqrt (exp (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0))))))
319.0ms
(log (sqrt (exp (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0))))))
133.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))
135.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

simplify93.0ms

Algorithm
egg-herbie
Counts
136 → 136
Iterations

Useful iterations: 2 (18.0ms)

IterNodesCost
02641304
16851204
227361198
350021198

prune320.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.2b

regimes63.0ms

Accuracy

99.9% (0.0b remaining)

Error of 0.2b against oracle of 0.2b and baseline of 28.9b

bsearch92.0ms

Steps
ItersRangePoint
9
1078.5849367128544
2491217878.346211
13264.4327344624
9
-66949431.36780037
-914.1439753575298
-12332.748446321157

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04321
14321

end0.0ms

sample523.0ms

Algorithm
intervals
Results
182.0ms1691×body1280valid
104.0ms1225×body640valid
94.0ms4151×body80valid
37.0ms607×body320valid
14.0ms326×body160valid