Details

Time bar (total: 2.8s)

sample25.0ms

Algorithm
intervals
Results
7.0ms46×body1280valid
4.0ms38×body640valid
4.0ms129×body80valid
2.0ms28×body320valid
1.0ms15×body160valid

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

Filtered
1 candidates to 0 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 29.7b

Counts
2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

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

rewrite47.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:
7.0ms
(/ x (+ x 1.0))
7.0ms
(/ (+ x 1.0) (- x 1.0))
29.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

series12.0ms

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

simplify41.0ms

Algorithm
egg-herbie
Counts
113 → 113
Iterations

Useful iterations: 2 (31.0ms)

IterNodesCost
0392760
11379726
25001716

prune169.0ms

Filtered
113 candidates to 76 candidates (32.7%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1112113
Fresh000
Picked101
Done000
Total1122114

Merged error: 0.0b

Counts
114 → 2

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (neg 1.0) (pow x 2)) (/ 3.0 x))
0.3b
(/ 3.0 (pow x 3))
0.5b
(/ (neg 1.0) (pow x 2))
6.2b
(- (- (/ (neg 1.0) (pow x 2)) (/ 3.0 x)) (/ 3.0 (pow x 3)))

rewrite158.0ms

Algorithm
rewrite-expression-head
Rules
143×times-frac
120×add-sqr-sqrt
105×*-un-lft-identity
78×add-cube-cbrt
48×unpow-prod-down
29×distribute-rgt-neg-in
27×distribute-lft-neg-in
20×associate-/r*
18×sqr-pow
15×difference-of-squares
14×add-exp-log
13×cube-prod associate-/l* unpow2
11×add-log-exp
10×distribute-lft-out--
9×neg-mul-1
8×add-cbrt-cube
6×div-exp
5×frac-sub
4×pow1 cube-mult diff-log unpow3
3×sub-neg flip3-- flip--
2×cbrt-undiv associate--l- neg-sub0 pow-to-exp frac-2neg div-sub pow-exp associate--l+ clear-num div-inv
1×distribute-frac-neg
Counts
4 → 234
Calls
4 calls:
55.0ms
(- (/ (neg 1.0) (pow x 2)) (/ 3.0 x))
5.0ms
(/ 3.0 (pow x 3))
7.0ms
(/ (neg 1.0) (pow x 2))
82.0ms
(- (- (/ (neg 1.0) (pow x 2)) (/ 3.0 x)) (/ 3.0 (pow x 3)))

series21.0ms

Counts
4 → 12
Calls
4 calls:
10.0ms
(- (/ (neg 1.0) (pow x 2)) (/ 3.0 x))
4.0ms
(/ 3.0 (pow x 3))
3.0ms
(/ (neg 1.0) (pow x 2))
5.0ms
(- (- (/ (neg 1.0) (pow x 2)) (/ 3.0 x)) (/ 3.0 (pow x 3)))

simplify97.0ms

Algorithm
egg-herbie
Counts
246 → 246
Iterations

Useful iterations: 2 (74.0ms)

IterNodesCost
07381746
134171585
250011567

prune304.0ms

Filtered
246 candidates to 129 candidates (47.6%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New2451246
Fresh011
Picked011
Done000
Total2453248

Merged error: 0b

Counts
248 → 3

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b
(* x (+ 3.0 (* x 1.0)))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt
3×pow1 add-exp-log add-cube-cbrt *-un-lft-identity associate-*r* associate-*l* add-cbrt-cube
2×associate-*r/
1×distribute-rgt-in distribute-lft-in flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ add-log-exp unswap-sqr
Counts
1 → 22
Calls
1 calls:
5.0ms
(* x (+ 3.0 (* x 1.0)))

series6.0ms

Counts
1 → 3
Calls
1 calls:
6.0ms
(* x (+ 3.0 (* x 1.0)))

simplify99.0ms

Algorithm
egg-herbie
Counts
25 → 25
Iterations

Useful iterations: 1 (5.0ms)

IterNodesCost
0144117
1680103
23770103
35002103

prune29.0ms

Filtered
25 candidates to 16 candidates (36.0%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New25025
Fresh011
Picked011
Done011
Total25328

Merged error: 0b

Counts
28 → 3

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ 1.0 (pow x 2))
6.2b
(- (/ (+ (neg (* (/ 3.0 x) (/ 3.0 x))) (* (/ 1.0 (pow x 2)) (/ 1.0 (pow x 2)))) (- (/ 3.0 x) (/ 1.0 (pow x 2)))) (/ 3.0 (pow x 3)))
13.8b
(+ (neg (* (/ 3.0 x) (/ 3.0 x))) (* (/ 1.0 (pow x 2)) (/ 1.0 (pow x 2))))
36.6b
(/ (+ (neg (* (/ 3.0 x) (/ 3.0 x))) (* (/ 1.0 (pow x 2)) (/ 1.0 (pow x 2)))) (- (/ 3.0 x) (/ 1.0 (pow x 2))))

rewrite150.0ms

Algorithm
rewrite-expression-head
Rules
188×add-sqr-sqrt
146×times-frac
76×*-un-lft-identity
50×difference-of-squares
41×add-cube-cbrt
23×associate-/r*
22×unpow-prod-down
18×frac-add distribute-neg-frac
14×sqr-pow
12×frac-times associate-*r/ associate-*l/ distribute-lft-out-- unpow2
11×add-exp-log associate-/l/
10×add-log-exp
8×add-cbrt-cube
6×associate-/l*
4×pow1 div-exp
3×neg-sub0 associate-+l- associate-/r/
2×cbrt-undiv flip3-- frac-2neg flip3-+ div-sub cube-prod clear-num sum-log frac-sub flip-- flip-+ div-inv
1×+-commutative associate--l- pow-to-exp sub-neg diff-log neg-log pow-exp
Counts
4 → 188
Calls
4 calls:
5.0ms
(/ 1.0 (pow x 2))
103.0ms
(- (/ (+ (neg (* (/ 3.0 x) (/ 3.0 x))) (* (/ 1.0 (pow x 2)) (/ 1.0 (pow x 2)))) (- (/ 3.0 x) (/ 1.0 (pow x 2)))) (/ 3.0 (pow x 3)))
4.0ms
(+ (neg (* (/ 3.0 x) (/ 3.0 x))) (* (/ 1.0 (pow x 2)) (/ 1.0 (pow x 2))))
29.0ms
(/ (+ (neg (* (/ 3.0 x) (/ 3.0 x))) (* (/ 1.0 (pow x 2)) (/ 1.0 (pow x 2)))) (- (/ 3.0 x) (/ 1.0 (pow x 2))))

series37.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(/ 1.0 (pow x 2))
8.0ms
(- (/ (+ (neg (* (/ 3.0 x) (/ 3.0 x))) (* (/ 1.0 (pow x 2)) (/ 1.0 (pow x 2)))) (- (/ 3.0 x) (/ 1.0 (pow x 2)))) (/ 3.0 (pow x 3)))
8.0ms
(+ (neg (* (/ 3.0 x) (/ 3.0 x))) (* (/ 1.0 (pow x 2)) (/ 1.0 (pow x 2))))
17.0ms
(/ (+ (neg (* (/ 3.0 x) (/ 3.0 x))) (* (/ 1.0 (pow x 2)) (/ 1.0 (pow x 2)))) (- (/ 3.0 x) (/ 1.0 (pow x 2))))

simplify101.0ms

Algorithm
egg-herbie
Counts
200 → 200
Iterations

Useful iterations: 2 (67.0ms)

IterNodesCost
08053736
129583546
250013434

prune643.0ms

Filtered
200 candidates to 137 candidates (31.5%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New2000200
Fresh000
Picked011
Done022
Total2003203

Merged error: 0b

Counts
203 → 3

regimes39.0ms

Accuracy

100% (0.0b remaining)

Error of 0.4b against oracle of 0.4b and baseline of 32.1b

bsearch31.0ms

Steps
ItersRangePoint
10
1.8861453929162526e-07
127140.91663662092
1.0092427765335756
10
-81569296.22560106
-6.097158829196934e-11
-0.9900584313365405

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03212
13212

end0.0ms

sample759.0ms

Algorithm
intervals
Results
258.0ms1715×body1280valid
151.0ms1215×body640valid
135.0ms4134×body80valid
59.0ms601×body320valid
20.0ms335×body160valid

Profiling

Loading profile data...