Details

Time bar (total: 5.0s)

sample102.0ms

Algorithm
intervals
Results
30.0ms58×body1280valid
29.0ms315×body80valid
12.0ms32×body640valid
6.0ms72×body80overflowed
4.0ms18×body320valid
2.0ms12×body160valid

simplify42.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
0515127

prune9.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 28.7b

Counts
2 → 1

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (- 1.0 eps) x)
0.0b
(* (+ 1.0 (/ 1.0 eps)) (exp (neg (* (- 1.0 eps) x))))
0.0b
(* (+ 1.0 eps) x)
2.7b
(- (* (+ 1.0 (/ 1.0 eps)) (exp (neg (* (- 1.0 eps) x)))) (* (- (/ 1.0 eps) 1.0) (exp (neg (* (+ 1.0 eps) x)))))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
81×frac-sub
76×exp-neg frac-times
57×neg-sub0 exp-diff
42×associate-*l/
38×associate-*r/
31×flip3-+ flip-+
29×flip3-- flip--
19×un-div-inv
18×add-sqr-sqrt
16×*-un-lft-identity
13×associate-*l*
10×pow1 add-cube-cbrt add-cbrt-cube
9×add-exp-log associate-*r*
6×add-log-exp
3×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
2×distribute-lft-out
1×sub-neg diff-log distribute-lft-out-- difference-of-squares
Counts
4 → 164
Calls
4 calls:
11.0ms
(* (- 1.0 eps) x)
11.0ms
(* (+ 1.0 (/ 1.0 eps)) (exp (neg (* (- 1.0 eps) x))))
6.0ms
(* (+ 1.0 eps) x)
16.0ms
(- (* (+ 1.0 (/ 1.0 eps)) (exp (neg (* (- 1.0 eps) x)))) (* (- (/ 1.0 eps) 1.0) (exp (neg (* (+ 1.0 eps) x)))))

series85.0ms

Counts
4 → 12
Calls
4 calls:
4.0ms
(* (- 1.0 eps) x)
9.0ms
(* (+ 1.0 (/ 1.0 eps)) (exp (neg (* (- 1.0 eps) x))))
4.0ms
(* (+ 1.0 eps) x)
67.0ms
(- (* (+ 1.0 (/ 1.0 eps)) (exp (neg (* (- 1.0 eps) x)))) (* (- (/ 1.0 eps) 1.0) (exp (neg (* (+ 1.0 eps) x)))))

simplify84.0ms

Algorithm
egg-herbie
Counts
176 → 176
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
050096606

prune338.0ms

Filtered
92 candidates to 176 candidates (-91.3%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1733176
Fresh000
Picked101
Done000
Total1743177

Merged error: 0.2b

Counts
177 → 3

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (pow x 3) 0.6666666666666667)
7.6b
(+ (* (pow x 3) 0.6666666666666667) (- 2.0 (* 1.0 (* x x))))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
12×associate-*l*
7×add-exp-log add-log-exp
6×add-cube-cbrt *-un-lft-identity
4×unpow-prod-down cube-prod add-cbrt-cube unswap-sqr
3×associate-*r* prod-exp
2×pow1 associate-+r+ sum-log sqr-pow
1×+-commutative cube-mult pow-to-exp associate-+r- sub-neg flip3-+ diff-log unpow3 pow-exp *-commutative cbrt-unprod flip-+
Counts
2 → 46
Calls
2 calls:
5.0ms
(* (pow x 3) 0.6666666666666667)
6.0ms
(+ (* (pow x 3) 0.6666666666666667) (- 2.0 (* 1.0 (* x x))))

series8.0ms

Counts
2 → 6
Calls
2 calls:
4.0ms
(* (pow x 3) 0.6666666666666667)
4.0ms
(+ (* (pow x 3) 0.6666666666666667) (- 2.0 (* 1.0 (* x x))))

simplify38.0ms

Algorithm
egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 0 (33.0ms)

IterNodesCost
05139465

prune77.0ms

Filtered
33 candidates to 52 candidates (-57.6%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New51152
Fresh022
Picked011
Done000
Total51455

Merged error: 0.2b

Counts
55 → 4

localize13.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (cbrt (+ 2.0 (* x (* x (- (* x 0.6666666666666667) 1.0))))) (cbrt (+ 2.0 (* x (* x (- (* x 0.6666666666666667) 1.0))))))
11.8b
(cbrt (+ 2.0 (* x (* x (- (* x 0.6666666666666667) 1.0)))))
11.8b
(cbrt (+ 2.0 (* x (* x (- (* x 0.6666666666666667) 1.0)))))
11.8b
(cbrt (+ 2.0 (* x (* x (- (* x 0.6666666666666667) 1.0)))))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
18×cbrt-div
15×add-cube-cbrt *-un-lft-identity
11×pow1
9×flip3-+ pow1/3 flip-+
6×add-exp-log swap-sqr associate-*r* associate-*l*
4×frac-times add-cbrt-cube add-log-exp unswap-sqr
2×associate-*r/ pow-prod-down associate-*l/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 87
Calls
4 calls:
8.0ms
(* (cbrt (+ 2.0 (* x (* x (- (* x 0.6666666666666667) 1.0))))) (cbrt (+ 2.0 (* x (* x (- (* x 0.6666666666666667) 1.0))))))
2.0ms
(cbrt (+ 2.0 (* x (* x (- (* x 0.6666666666666667) 1.0)))))
2.0ms
(cbrt (+ 2.0 (* x (* x (- (* x 0.6666666666666667) 1.0)))))
2.0ms
(cbrt (+ 2.0 (* x (* x (- (* x 0.6666666666666667) 1.0)))))

series39.0ms

Counts
4 → 12
Calls
4 calls:
12.0ms
(* (cbrt (+ 2.0 (* x (* x (- (* x 0.6666666666666667) 1.0))))) (cbrt (+ 2.0 (* x (* x (- (* x 0.6666666666666667) 1.0))))))
9.0ms
(cbrt (+ 2.0 (* x (* x (- (* x 0.6666666666666667) 1.0)))))
9.0ms
(cbrt (+ 2.0 (* x (* x (- (* x 0.6666666666666667) 1.0)))))
9.0ms
(cbrt (+ 2.0 (* x (* x (- (* x 0.6666666666666667) 1.0)))))

simplify48.0ms

Algorithm
egg-herbie
Counts
99 → 99
Iterations

Useful iterations: 0 (34.0ms)

IterNodesCost
050712343

prune299.0ms

Filtered
80 candidates to 99 candidates (-23.8%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New98199
Fresh022
Picked101
Done011
Total994103

Merged error: 0.2b

Counts
103 → 4

localize25.0ms

Local error

Found 4 expressions with local error:

4.9b
(cbrt (- (* 2.0 2.0) (* (- (* x 0.6666666666666667) 1.0) (* (- (* x 0.6666666666666667) 1.0) (pow x 4)))))
11.8b
(cbrt (+ 2.0 (* x (* x (- (* x 0.6666666666666667) 1.0)))))
11.8b
(cbrt (+ 2.0 (* x (* x (- (* x 0.6666666666666667) 1.0)))))
11.8b
(cbrt (- 2.0 (* x (* x (- (* x 0.6666666666666667) 1.0)))))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt cbrt-div *-un-lft-identity
4×pow1 add-exp-log pow1/3 add-cbrt-cube add-log-exp
2×flip3-- flip3-+ flip-- flip-+
Counts
4 → 52
Calls
4 calls:
3.0ms
(cbrt (- (* 2.0 2.0) (* (- (* x 0.6666666666666667) 1.0) (* (- (* x 0.6666666666666667) 1.0) (pow x 4)))))
2.0ms
(cbrt (+ 2.0 (* x (* x (- (* x 0.6666666666666667) 1.0)))))
2.0ms
(cbrt (+ 2.0 (* x (* x (- (* x 0.6666666666666667) 1.0)))))
2.0ms
(cbrt (- 2.0 (* x (* x (- (* x 0.6666666666666667) 1.0)))))

series43.0ms

Counts
4 → 12
Calls
4 calls:
13.0ms
(cbrt (- (* 2.0 2.0) (* (- (* x 0.6666666666666667) 1.0) (* (- (* x 0.6666666666666667) 1.0) (pow x 4)))))
11.0ms
(cbrt (+ 2.0 (* x (* x (- (* x 0.6666666666666667) 1.0)))))
9.0ms
(cbrt (+ 2.0 (* x (* x (- (* x 0.6666666666666667) 1.0)))))
9.0ms
(cbrt (- 2.0 (* x (* x (- (* x 0.6666666666666667) 1.0)))))

simplify28.0ms

Algorithm
egg-herbie
Counts
64 → 64
Iterations

Useful iterations: 0 (18.0ms)

IterNodesCost
051681644

prune300.0ms

Filtered
60 candidates to 64 candidates (-6.7%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New63164
Fresh022
Picked101
Done011
Total64468

Merged error: 0.2b

Counts
68 → 4

regimes158.0ms

Accuracy

96.5% (0.6b remaining)

Error of 1.0b against oracle of 0.5b and baseline of 16.7b

bsearch113.0ms

Steps
ItersRangePoint
10
3.2299762781630023e-09
1126.186062779407
289.9965618814249

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
06267
16267

end0.0ms

sample3.0s

Algorithm
intervals
Results
955.0ms1693×body1280valid
796.0ms9970×body80valid
457.0ms1297×body640valid
153.0ms1944×body80overflowed
147.0ms601×body320valid
51.0ms331×body160valid

Profiling

Loading profile data...