Details

Time bar (total: 24.6s)

sample24.0ms

Algorithm
intervals
Results
7.0ms71×body640valid
6.0ms132×body80valid
3.0ms41×body320valid
1.0ms12×body160valid

simplify6.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0125
1155
2155

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 15.8b

localize6.0ms

Local error

Found 3 expressions with local error:

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

rewrite121.0ms

Algorithm
rewrite-expression-head
Rules
662×*-un-lft-identity
589×times-frac
496×add-sqr-sqrt
378×prod-diff
368×add-cube-cbrt
86×associate-/r/
79×distribute-lft-out--
76×distribute-lft-out
62×difference-of-squares
44×div-inv
24×flip-+
23×flip3-+
21×flip--
20×flip3--
18×fma-neg
9×associate-/r*
7×add-exp-log add-cbrt-cube
6×associate-/l*
5×add-log-exp
3×pow1 expm1-log1p-u log1p-expm1-u
2×cbrt-undiv frac-2neg div-exp clear-num
1×sub-neg diff-log frac-sub
Counts
3 → 504
Calls
3 calls:
7.0ms
(/ 1.0 (- x 1.0))
5.0ms
(/ 1.0 (+ x 1.0))
64.0ms
(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))

series235.0ms

Counts
3 → 9
Calls
3 calls:
28.0ms
(/ 1.0 (- x 1.0))
30.0ms
(/ 1.0 (+ x 1.0))
177.0ms
(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))

simplify173.0ms

Algorithm
egg-herbie
Counts
513 → 513
Iterations

Useful iterations: 2 (74.0ms)

IterNodesCost
0120013350
135939620
250019568

prune891.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ 1.0 (- x 1.0))
0.2b
(/ 1.0 (- (* x x) (* 1.0 1.0)))
30.4b
(fma (/ 1.0 (- (* x x) (* 1.0 1.0))) (- x 1.0) (- (/ 1.0 (- x 1.0))))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
30×add-sqr-sqrt *-un-lft-identity
27×times-frac
22×add-cube-cbrt
9×associate-/r*
8×difference-of-squares
7×add-exp-log add-cbrt-cube
6×associate-/l*
4×associate-/r/ distribute-lft-out--
3×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
2×cbrt-undiv flip3-- frac-2neg div-exp clear-num flip-- div-inv
1×fma-udef
Counts
3 → 84
Calls
3 calls:
5.0ms
(/ 1.0 (- x 1.0))
5.0ms
(/ 1.0 (- (* x x) (* 1.0 1.0)))
0.0ms
(fma (/ 1.0 (- (* x x) (* 1.0 1.0))) (- x 1.0) (- (/ 1.0 (- x 1.0))))

series284.0ms

Counts
3 → 9
Calls
3 calls:
30.0ms
(/ 1.0 (- x 1.0))
47.0ms
(/ 1.0 (- (* x x) (* 1.0 1.0)))
208.0ms
(fma (/ 1.0 (- (* x x) (* 1.0 1.0))) (- x 1.0) (- (/ 1.0 (- x 1.0))))

simplify47.0ms

Algorithm
egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 2 (38.0ms)

IterNodesCost
0381653
11503601
25002587

prune203.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (- (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)) (/ 2.0 (pow x 4)))
0.1b
(/ (- 2.0) (pow x 6))
0.1b
(/ (/ 2.0 x) x)
0.4b
(/ 2.0 (pow x 4))

rewrite2.3s

Algorithm
rewrite-expression-head
Rules
9097×times-frac
5884×add-sqr-sqrt
5059×*-un-lft-identity
4782×add-cube-cbrt
3632×prod-diff
3184×associate--l+
1576×unpow-prod-down
954×distribute-rgt-neg-in
927×distribute-lft-neg-in
578×sqr-pow
364×div-inv
316×difference-of-squares
309×neg-mul-1
85×distribute-lft-out--
26×associate-/l*
19×add-exp-log
18×fma-neg
17×associate-/r*
13×add-cbrt-cube
9×div-exp add-log-exp
5×cbrt-undiv
4×pow1 expm1-log1p-u frac-sub log1p-expm1-u
3×frac-2neg diff-log clear-num
2×pow-to-exp sub-neg flip3-- pow-exp flip--
1×associate--l- neg-sub0 div-sub distribute-frac-neg associate-/l/
Counts
4 → 3903
Calls
4 calls:
1.7s
(- (- (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)) (/ 2.0 (pow x 4)))
6.0ms
(/ (- 2.0) (pow x 6))
5.0ms
(/ (/ 2.0 x) x)
4.0ms
(/ 2.0 (pow x 4))

series168.0ms

Counts
4 → 12
Calls
4 calls:
57.0ms
(- (- (/ (- 2.0) (pow x 6)) (/ (/ 2.0 x) x)) (/ 2.0 (pow x 4)))
51.0ms
(/ (- 2.0) (pow x 6))
24.0ms
(/ (/ 2.0 x) x)
36.0ms
(/ 2.0 (pow x 4))

simplify790.0ms

Algorithm
egg-herbie
Counts
3915 → 3915
Iterations

Useful iterations: 1 (45.0ms)

IterNodesCost
0263095841
1500283809

prune17.1s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (- 2.0) (pow x 6)) (fma 2.0 (/ 1 (pow x 2)) (* 2.0 (/ 1 (pow x 4)))))
0.1b
(/ (- 2.0) (pow x 6))
0.2b
(/ 1 (pow x 2))
0.4b
(/ 1 (pow x 4))

rewrite120.0ms

Algorithm
rewrite-expression-head
Rules
398×times-frac
335×add-sqr-sqrt
327×*-un-lft-identity
325×add-cube-cbrt
222×prod-diff
178×unpow-prod-down
108×distribute-lft-neg-in distribute-rgt-neg-in
74×fma-neg
60×sqr-pow
36×neg-mul-1
27×add-exp-log
22×associate-/r*
16×associate-/l*
15×div-exp
10×add-cbrt-cube
7×pow-to-exp pow-exp div-inv
6×rec-exp 1-exp add-log-exp
4×pow1 expm1-log1p-u log1p-expm1-u unpow2 difference-of-squares
3×cbrt-undiv frac-2neg clear-num
2×neg-sub0 pow-flip div-sub inv-pow
1×associate--l- sub-neg flip3-- diff-log distribute-frac-neg flip-- fma-udef associate--r+ distribute-lft-out--
Counts
4 → 536
Calls
4 calls:
68.0ms
(- (/ (- 2.0) (pow x 6)) (fma 2.0 (/ 1 (pow x 2)) (* 2.0 (/ 1 (pow x 4)))))
6.0ms
(/ (- 2.0) (pow x 6))
4.0ms
(/ 1 (pow x 2))
4.0ms
(/ 1 (pow x 4))

series148.0ms

Counts
4 → 12
Calls
4 calls:
53.0ms
(- (/ (- 2.0) (pow x 6)) (fma 2.0 (/ 1 (pow x 2)) (* 2.0 (/ 1 (pow x 4)))))
52.0ms
(/ (- 2.0) (pow x 6))
16.0ms
(/ 1 (pow x 2))
27.0ms
(/ 1 (pow x 4))

simplify190.0ms

Algorithm
egg-herbie
Counts
548 → 548
Iterations

Useful iterations: 2 (81.0ms)

IterNodesCost
0115512881
138407373
250027324

prune974.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

regimes28.0ms

Accuracy

100% (0.0b remaining)

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

bsearch111.0ms

Steps
ItersRangePoint
10
4.8244160186105205e-08
257763.20554958374
211.000747456426
10
-772.3369502403921
-4.163765984402517e-10
-217.48840301719764

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04119
14119

end0.0ms

sample655.0ms

Algorithm
intervals
Results
211.0ms1926×body640valid
185.0ms4193×body80valid
119.0ms1293×body320valid
39.0ms588×body160valid