Details

Time bar (total: 2.8s)

sample17.0ms

Algorithm
intervals
Results
5.0ms58×body640valid
3.0ms146×body80valid
2.0ms34×body320valid
1.0ms18×body160valid

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0125
1155
2155

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.4b

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

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
84×*-un-lft-identity
55×times-frac
50×add-sqr-sqrt
30×add-cube-cbrt
25×distribute-lft-out--
10×distribute-lft-out
9×associate-/r*
8×difference-of-squares
7×add-exp-log add-cbrt-cube
6×associate-/r/ associate-/l*
5×add-log-exp
4×div-inv
3×pow1 flip--
2×cbrt-undiv flip3-- frac-2neg div-exp clear-num flip-+
1×sub-neg flip3-+ diff-log frac-sub
Counts
3 → 102
Calls
3 calls:
5.0ms
(/ 1.0 (- x 1.0))
5.0ms
(/ 1.0 (+ x 1.0))
26.0ms
(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))

series226.0ms

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

simplify42.0ms

Algorithm
egg-herbie
Counts
111 → 111
Iterations

Useful iterations: 2 (33.0ms)

IterNodesCost
0387679
11331648
25001644

prune192.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.7b

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* x x) (* 1.0 1.0))
0.7b
(/ 1.0 (- (* x x) (* 1.0 1.0)))
2.4b
(- (- x 1.0) (+ x 1.0))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
24×*-un-lft-identity
17×add-log-exp
14×add-sqr-sqrt
12×add-cube-cbrt times-frac
7×diff-log
6×distribute-lft-out-- difference-of-squares
5×add-exp-log flip3-- add-cbrt-cube flip--
4×associate-/r* frac-sub
3×pow1 sub-neg associate-/l*
2×flip3-+ associate--l+ sum-log associate-/r/ flip-+ distribute-lft-out
1×cbrt-undiv associate--l- frac-2neg div-exp clear-num div-inv associate--r+
Counts
3 → 74
Calls
3 calls:
3.0ms
(- (* x x) (* 1.0 1.0))
5.0ms
(/ 1.0 (- (* x x) (* 1.0 1.0)))
9.0ms
(- (- x 1.0) (+ x 1.0))

series96.0ms

Counts
3 → 9
Calls
3 calls:
38.0ms
(- (* x x) (* 1.0 1.0))
50.0ms
(/ 1.0 (- (* x x) (* 1.0 1.0)))
7.0ms
(- (- x 1.0) (+ x 1.0))

simplify53.0ms

Algorithm
egg-herbie
Counts
83 → 83
Iterations

Useful iterations: 2 (45.0ms)

IterNodesCost
0413559
12021517
25002515

prune166.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.7b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow (/ 1.0 (- (* x x) (* 1.0 1.0))) 3)
0.7b
(/ 1.0 (- (* x x) (* 1.0 1.0)))
2.4b
(- (- x 1.0) (+ x 1.0))
9.3b
(cbrt (pow (/ 1.0 (- (* x x) (* 1.0 1.0))) 3))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
60×times-frac
59×*-un-lft-identity
49×add-sqr-sqrt
47×add-cube-cbrt
42×cbrt-prod
36×unpow-prod-down cube-prod
17×difference-of-squares
16×add-log-exp
10×associate-/r/
9×add-exp-log add-cbrt-cube
8×flip3-- flip--
6×diff-log distribute-lft-out--
5×pow1 div-inv
4×associate-/r* frac-sub
3×pow-unpow associate-/l*
2×cbrt-undiv cube-div cube-mult sub-neg flip3-+ unpow3 div-exp pow-exp associate--l+ sum-log flip-+ distribute-lft-out rem-cube-cbrt sqr-pow
1×associate--l- pow-to-exp cbrt-div pow-pow frac-2neg pow1/3 clear-num rem-cbrt-cube associate--r+
Counts
4 → 169
Calls
4 calls:
7.0ms
(pow (/ 1.0 (- (* x x) (* 1.0 1.0))) 3)
5.0ms
(/ 1.0 (- (* x x) (* 1.0 1.0)))
8.0ms
(- (- x 1.0) (+ x 1.0))
7.0ms
(cbrt (pow (/ 1.0 (- (* x x) (* 1.0 1.0))) 3))

series197.0ms

Counts
4 → 12
Calls
4 calls:
88.0ms
(pow (/ 1.0 (- (* x x) (* 1.0 1.0))) 3)
50.0ms
(/ 1.0 (- (* x x) (* 1.0 1.0)))
7.0ms
(- (- x 1.0) (+ x 1.0))
52.0ms
(cbrt (pow (/ 1.0 (- (* x x) (* 1.0 1.0))) 3))

simplify102.0ms

Algorithm
egg-herbie
Counts
181 → 181
Iterations

Useful iterations: 2 (85.0ms)

IterNodesCost
07501544
139411435
250011427

prune324.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.7b

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (cbrt (pow (/ 1.0 (- (* x x) (* 1.0 1.0))) 3)) (- 2.0))
0.0b
(pow (/ 1.0 (- (* x x) (* 1.0 1.0))) 3)
0.7b
(/ 1.0 (- (* x x) (* 1.0 1.0)))
9.3b
(cbrt (pow (/ 1.0 (- (* x x) (* 1.0 1.0))) 3))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
90×cbrt-prod
86×times-frac
83×add-sqr-sqrt
68×add-cube-cbrt *-un-lft-identity
56×unpow-prod-down cube-prod
45×associate-*l*
22×difference-of-squares
14×associate-/r/
11×add-exp-log
10×associate-*r* add-cbrt-cube
7×pow1 flip3-- flip-- div-inv unswap-sqr
4×associate-/r* add-log-exp sqr-pow
3×cube-div distribute-lft-neg-in cube-mult pow-unpow distribute-rgt-neg-in unpow3 associate-/l*
2×cbrt-undiv cbrt-div div-exp pow-exp rem-cube-cbrt
1×pow-to-exp neg-mul-1 pow-pow frac-2neg pow1/3 pow-prod-down associate-*l/ prod-exp clear-num *-commutative distribute-rgt-neg-out rem-cbrt-cube cbrt-unprod
Counts
4 → 216
Calls
4 calls:
19.0ms
(* (cbrt (pow (/ 1.0 (- (* x x) (* 1.0 1.0))) 3)) (- 2.0))
7.0ms
(pow (/ 1.0 (- (* x x) (* 1.0 1.0))) 3)
5.0ms
(/ 1.0 (- (* x x) (* 1.0 1.0)))
10.0ms
(cbrt (pow (/ 1.0 (- (* x x) (* 1.0 1.0))) 3))

series238.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(* (cbrt (pow (/ 1.0 (- (* x x) (* 1.0 1.0))) 3)) (- 2.0))
90.0ms
(pow (/ 1.0 (- (* x x) (* 1.0 1.0))) 3)
47.0ms
(/ 1.0 (- (* x x) (* 1.0 1.0)))
50.0ms
(cbrt (pow (/ 1.0 (- (* x x) (* 1.0 1.0))) 3))

simplify115.0ms

Algorithm
egg-herbie
Counts
228 → 228
Iterations

Useful iterations: 2 (91.0ms)

IterNodesCost
07711995
138641868
250031850

prune382.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

regimes18.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0187
1227
2297
3337
4337

end0.0ms

sample460.0ms

Algorithm
intervals
Results
160.0ms1913×body640valid
96.0ms4180×body80valid
79.0ms1266×body320valid
36.0ms641×body160valid