Details

Time bar (total: 33.2s)

sample22.0ms

Algorithm
intervals
Results
6.0ms51×body1280valid
4.0ms139×body80valid
3.0ms32×body640valid
2.0ms25×body320valid
0.0ms9×body160valid

simplify21.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 (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 27.6b

Counts
2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

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

rewrite51.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:
8.0ms
(/ (+ x 1.0) (- x 1.0))
5.0ms
(/ x (+ x 1.0))
34.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

series207.0ms

Counts
3 → 9
Calls
3 calls:
37.0ms
(/ (+ x 1.0) (- x 1.0))
38.0ms
(/ x (+ x 1.0))
131.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

simplify48.0ms

Algorithm
egg-herbie
Counts
113 → 113
Iterations

Useful iterations: 2 (33.0ms)

IterNodesCost
0392760
11379726
25001716

prune196.0ms

Filtered
113 candidates to 76 candidates (67.3%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New1094113
Fresh000
Picked101
Done000
Total1104114

Merged error: 0.0b

Counts
114 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (cbrt (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))) (cbrt (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))))
2.4b
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))
2.4b
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))
2.4b
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

rewrite202.0ms

Algorithm
rewrite-expression-head
Rules
956×*-un-lft-identity
364×times-frac
261×distribute-lft-out--
184×cbrt-prod
168×distribute-lft-out
104×add-sqr-sqrt
77×swap-sqr
28×difference-of-squares
24×cbrt-div
19×associate-*r* associate-*l*
12×add-cube-cbrt
11×pow1 flip3-- frac-sub flip--
10×add-log-exp
9×frac-times
6×add-exp-log pow1/3
4×add-cbrt-cube unswap-sqr
3×sub-neg diff-log associate-*r/ associate-*l/
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 230
Calls
4 calls:
74.0ms
(* (cbrt (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))) (cbrt (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))))
31.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))
34.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))
31.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

series705.0ms

Counts
4 → 12
Calls
4 calls:
300.0ms
(* (cbrt (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))) (cbrt (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))))
137.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))
137.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))
131.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

simplify82.0ms

Algorithm
egg-herbie
Counts
242 → 242
Iterations

Useful iterations: 2 (41.0ms)

IterNodesCost
04393878
114573763
250012947

prune328.0ms

Filtered
242 candidates to 104 candidates (43.0%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New2420242
Fresh033
Picked011
Done000
Total2424246

Merged error: 0.0b

Counts
246 → 4

localize10.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)))
18.4b
(- (/ x (+ x 1.0)) (* (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (/ (cbrt (+ x 1.0)) (- x 1.0))))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
40×cbrt-div
32×cbrt-prod *-un-lft-identity
22×add-sqr-sqrt
20×frac-times flip3-+ flip-+
17×frac-sub
14×add-cube-cbrt associate-*l/
11×pow1
9×swap-sqr
8×pow1/3 distribute-lft-out
7×associate-*r/ associate-*r* associate-*l*
6×add-exp-log add-log-exp
4×add-cbrt-cube unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 sub-neg flip3-- pow-plus diff-log prod-exp *-commutative flip-- cbrt-unprod
Counts
4 → 110
Calls
4 calls:
3.0ms
(cbrt (+ x 1.0))
7.0ms
(cbrt (+ x 1.0))
11.0ms
(* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))
13.0ms
(- (/ x (+ x 1.0)) (* (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (/ (cbrt (+ x 1.0)) (- x 1.0))))

series435.0ms

Counts
4 → 12
Calls
4 calls:
93.0ms
(cbrt (+ x 1.0))
100.0ms
(cbrt (+ x 1.0))
108.0ms
(* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))
133.0ms
(- (/ x (+ x 1.0)) (* (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (/ (cbrt (+ x 1.0)) (- x 1.0))))

simplify82.0ms

Algorithm
egg-herbie
Counts
122 → 122
Iterations

Useful iterations: 2 (66.0ms)

IterNodesCost
06701503
123861416
250011368

prune259.0ms

Filtered
122 candidates to 84 candidates (68.9%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New1211122
Fresh022
Picked011
Done011
Total1215126

Merged error: 0.0b

Counts
126 → 5

localize34.0ms

Local error

Found 4 expressions with local error:

13.1b
(cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
13.1b
(cbrt (- (* x x) (* 1.0 1.0)))
17.1b
(cbrt (+ (pow x 3) (pow 1.0 3)))
23.4b
(- (* x (* (* (cbrt (- x 1.0)) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (- x 1.0))) (* (+ x 1.0) (* (* (cbrt (- (* x x) (* 1.0 1.0))) (cbrt (+ (pow x 3) (pow 1.0 3)))) (cbrt (+ x 1.0)))))

rewrite1.0s

Algorithm
rewrite-expression-head
Rules
7098×cbrt-div
5776×frac-times
4020×associate-*r/
2828×flip3-+ flip-+
2264×associate-*l/
2144×flip3-- flip--
2080×frac-sub
17×*-un-lft-identity
16×cbrt-prod
8×distribute-rgt-in distribute-lft-in associate--l+
7×add-sqr-sqrt add-cube-cbrt
6×add-log-exp
5×sub-neg distribute-lft-out
4×pow1 add-exp-log unpow-prod-down cube-prod add-cbrt-cube
3×pow1/3
1×diff-log sum-cubes difference-of-squares
Counts
4 → 2146
Calls
4 calls:
6.0ms
(cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
4.0ms
(cbrt (- (* x x) (* 1.0 1.0)))
11.0ms
(cbrt (+ (pow x 3) (pow 1.0 3)))
127.0ms
(- (* x (* (* (cbrt (- x 1.0)) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (- x 1.0))) (* (+ x 1.0) (* (* (cbrt (- (* x x) (* 1.0 1.0))) (cbrt (+ (pow x 3) (pow 1.0 3)))) (cbrt (+ x 1.0)))))

series1.0s

Counts
4 → 12
Calls
4 calls:
117.0ms
(cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
192.0ms
(cbrt (- (* x x) (* 1.0 1.0)))
385.0ms
(cbrt (+ (pow x 3) (pow 1.0 3)))
329.0ms
(- (* x (* (* (cbrt (- x 1.0)) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (- x 1.0))) (* (+ x 1.0) (* (* (cbrt (- (* x x) (* 1.0 1.0))) (cbrt (+ (pow x 3) (pow 1.0 3)))) (cbrt (+ x 1.0)))))

simplify2.0s

Algorithm
egg-herbie
Counts
2158 → 2158
Iterations

Useful iterations: 0 (121.0ms)

IterNodesCost
08857220181

prune25.8s

Filtered
2158 candidates to 2148 candidates (99.5%)
Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New215802158
Fresh022
Picked011
Done022
Total215852163

Merged error: 0.0b

Counts
2163 → 5

regimes64.0ms

Accuracy

99.5% (0.2b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 29.8b

bsearch1.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05655
15655

end0.0ms

sample595.0ms

Algorithm
intervals
Results
215.0ms1739×body1280valid
121.0ms1239×body640valid
104.0ms4041×body80valid
48.0ms667×body320valid
15.0ms314×body160valid

Profiling

Loading profile data...