Details

Time bar (total: 2.2s)

sample29.0ms

Algorithm
intervals
Results
8.0ms43×body640valid
7.0ms50×body1280valid
4.0ms131×body80valid
2.0ms25×body320valid
0.0ms7×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

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))
1.9b
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

rewrite45.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:
4.0ms
(/ x (+ x 1.0))
7.0ms
(/ (+ x 1.0) (- x 1.0))
27.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

series12.0ms

Counts
3 → 9
Calls
3 calls:
2.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)))

simplify43.0ms

Algorithm
egg-herbie
Counts
113 → 113
Iterations

Useful iterations: 2 (33.0ms)

IterNodesCost
0392760
11379726
25001716

prune164.0ms

Filtered
76 candidates to 113 candidates (-48.7%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1103113
Fresh000
Picked101
Done000
Total1113114

Merged error: 0.0b

Counts
114 → 3

localize11.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (- x 1.0))
0.3b
(cbrt (- x 1.0))
0.3b
(* (cbrt (- x 1.0)) (cbrt (- x 1.0)))
23.5b
(- (/ x (+ x 1.0)) (* (/ 1 (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))) (/ (+ x 1.0) (cbrt (- x 1.0)))))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
38×cbrt-prod
34×add-sqr-sqrt
32×*-un-lft-identity
16×cbrt-div
14×add-cube-cbrt
11×pow1
10×swap-sqr
9×flip3-- flip--
8×pow1/3 associate-*r* associate-*l* distribute-lft-out--
6×add-exp-log add-log-exp difference-of-squares
5×frac-times
4×add-cbrt-cube unswap-sqr
3×associate-*r/ associate-*l/ frac-sub
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 sub-neg pow-plus diff-log prod-exp *-commutative cbrt-unprod
Counts
4 → 101
Calls
4 calls:
3.0ms
(cbrt (- x 1.0))
3.0ms
(cbrt (- x 1.0))
12.0ms
(* (cbrt (- x 1.0)) (cbrt (- x 1.0)))
8.0ms
(- (/ x (+ x 1.0)) (* (/ 1 (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))) (/ (+ x 1.0) (cbrt (- x 1.0)))))

series39.0ms

Counts
4 → 12
Calls
4 calls:
7.0ms
(cbrt (- x 1.0))
8.0ms
(cbrt (- x 1.0))
11.0ms
(* (cbrt (- x 1.0)) (cbrt (- x 1.0)))
14.0ms
(- (/ x (+ x 1.0)) (* (/ 1 (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))) (/ (+ x 1.0) (cbrt (- x 1.0)))))

simplify66.0ms

Algorithm
egg-herbie
Counts
113 → 113
Iterations

Useful iterations: 2 (54.0ms)

IterNodesCost
05361171
121661099
250011043

prune247.0ms

Filtered
81 candidates to 113 candidates (-39.5%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1130113
Fresh022
Picked011
Done000
Total1133116

Merged error: 0.0b

Counts
116 → 3

localize5.0ms

Local error

Found 1 expressions with local error:

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

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

simplify100.0ms

Algorithm
egg-herbie
Counts
25 → 25
Iterations

Useful iterations: 1 (5.0ms)

IterNodesCost
0144117
1680103
23770103
35002103

prune25.0ms

Filtered
16 candidates to 25 candidates (-56.3%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New25025
Fresh011
Picked011
Done011
Total25328

Merged error: 0.0b

Counts
28 → 3

localize12.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.3b
(/ (neg 1.0) (pow x 2))
6.8b
(- (- (/ (neg 1.0) (pow x 2)) (/ 3.0 x)) (/ 3.0 (pow x 3)))

rewrite145.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:
50.0ms
(- (/ (neg 1.0) (pow x 2)) (/ 3.0 x))
5.0ms
(/ 3.0 (pow x 3))
6.0ms
(/ (neg 1.0) (pow x 2))
75.0ms
(- (- (/ (neg 1.0) (pow x 2)) (/ 3.0 x)) (/ 3.0 (pow x 3)))

series20.0ms

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

simplify94.0ms

Algorithm
egg-herbie
Counts
246 → 246
Iterations

Useful iterations: 2 (73.0ms)

IterNodesCost
07381746
134171585
250011567

prune279.0ms

Filtered
129 candidates to 246 candidates (-90.7%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New2451246
Fresh000
Picked011
Done022
Total2454249

Merged error: 0b

Counts
249 → 4

regimes61.0ms

Accuracy

99.9% (0.0b remaining)

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

bsearch54.0ms

Steps
ItersRangePoint
10
0.00031157581617804726
87511408.73844521
6328.0624359053945
11
-374259092491.182
-4.855216633276153e-12
-8144.047770583407

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03822
13822

end0.0ms

sample728.0ms

Algorithm
intervals
Results
255.0ms1745×body1280valid
145.0ms1267×body640valid
124.0ms4055×body80valid
56.0ms626×body320valid
18.0ms307×body160valid

Profiling

Loading profile data...