Details

Time bar (total: 6.7s)

sample50.0ms

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 50%

Guaranteed chance to sample good point: 99.993896%

Results
30.0ms256×body80valid

simplify112.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (23.0ms)

IterNodesCost
013286
155778
2262241
3500141

prune13.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 30.1b

Counts
2 → 2

localize45.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))
0.2b
(* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))
15.8b
(* (/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
29.6b
(/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))

rewrite762.0ms

Algorithm
rewrite-expression-head
Rules
417×add-exp-log add-cbrt-cube
412×pow1
350×prod-exp cbrt-unprod
349×pow-prod-down
27×add-sqr-sqrt
22×add-cube-cbrt *-un-lft-identity
21×associate-*l*
19×times-frac
5×associate-*r*
4×associate-/r/ add-log-exp
3×flip3-+ associate-/r* *-commutative flip-+ associate-/l*
2×cbrt-undiv div-exp div-inv associate-/l/ unswap-sqr
1×frac-2neg associate-*l/ clear-num
Counts
4 → 263
Calls
4 calls:
577.0ms
(* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))
55.0ms
(* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))
39.0ms
(* (/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
63.0ms
(/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))

series67.0ms

Counts
4 → 12
Calls
4 calls:
6.0ms
(* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))
5.0ms
(* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))
26.0ms
(* (/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
30.0ms
(/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))

simplify110.0ms

Algorithm
egg-herbie
Counts
275 → 275
Iterations

Useful iterations: 1 (28.0ms)

IterNodesCost
0179610239
150017501

prune699.0ms

Filtered
90 candidates to 275 candidates (-205.6%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New2732275
Fresh101
Picked011
Done000
Total2743277

Merged error: 0b

Counts
277 → 3

localize51.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) 0.0001789971)
0.2b
(* 0.0072644182 (pow x 6))
10.9b
(* (/ (* (sqrt x) (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) 0.0001789971) (+ (+ (* 0.0072644182 (pow x 6)) 1.0) (* (pow x 2) (+ 0.1049934947 (* 0.0424060604 (pow x 2)))))) (* (* (pow x 2) (* (pow x 2) (* x (pow x 3)))) 0.0005064034))) (+ (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2))))) (+ (* (* (pow x 2) (* (pow x 2) (* x (pow x 3)))) 0.0140005442) (* (pow x 2) (+ (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x))) (* (* 2.0 0.0001789971) (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))))))) (sqrt x))
29.6b
(/ (* (sqrt x) (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) 0.0001789971) (+ (+ (* 0.0072644182 (pow x 6)) 1.0) (* (pow x 2) (+ 0.1049934947 (* 0.0424060604 (pow x 2)))))) (* (* (pow x 2) (* (pow x 2) (* x (pow x 3)))) 0.0005064034))) (+ (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2))))) (+ (* (* (pow x 2) (* (pow x 2) (* x (pow x 3)))) 0.0140005442) (* (pow x 2) (+ (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x))) (* (* 2.0 0.0001789971) (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))))))

rewrite146.0ms

Algorithm
rewrite-expression-head
Rules
555×prod-exp
549×add-exp-log
143×pow-to-exp pow-exp
40×frac-add add-cbrt-cube
35×flip3-+ flip-+
28×associate-/r/
26×associate-*l*
23×add-sqr-sqrt
21×cbrt-unprod
20×*-un-lft-identity
18×associate-*r/
16×associate-*r*
14×add-cube-cbrt
8×pow1 times-frac
5×unswap-sqr
4×cbrt-undiv unpow-prod-down div-exp associate-/r* sqrt-prod add-log-exp
3×*-commutative distribute-lft-out
2×pow-prod-down div-inv associate-/l/ sqr-pow
1×frac-2neg associate-*l/ clear-num associate-/l*
Counts
4 → 249
Calls
4 calls:
26.0ms
(* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) 0.0001789971)
5.0ms
(* 0.0072644182 (pow x 6))
47.0ms
(* (/ (* (sqrt x) (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) 0.0001789971) (+ (+ (* 0.0072644182 (pow x 6)) 1.0) (* (pow x 2) (+ 0.1049934947 (* 0.0424060604 (pow x 2)))))) (* (* (pow x 2) (* (pow x 2) (* x (pow x 3)))) 0.0005064034))) (+ (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2))))) (+ (* (* (pow x 2) (* (pow x 2) (* x (pow x 3)))) 0.0140005442) (* (pow x 2) (+ (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x))) (* (* 2.0 0.0001789971) (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))))))) (sqrt x))
48.0ms
(/ (* (sqrt x) (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) 0.0001789971) (+ (+ (* 0.0072644182 (pow x 6)) 1.0) (* (pow x 2) (+ 0.1049934947 (* 0.0424060604 (pow x 2)))))) (* (* (pow x 2) (* (pow x 2) (* x (pow x 3)))) 0.0005064034))) (+ (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2))))) (+ (* (* (pow x 2) (* (pow x 2) (* x (pow x 3)))) 0.0140005442) (* (pow x 2) (+ (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x))) (* (* 2.0 0.0001789971) (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))))))

series67.0ms

Counts
4 → 12
Calls
4 calls:
6.0ms
(* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) 0.0001789971)
5.0ms
(* 0.0072644182 (pow x 6))
32.0ms
(* (/ (* (sqrt x) (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) 0.0001789971) (+ (+ (* 0.0072644182 (pow x 6)) 1.0) (* (pow x 2) (+ 0.1049934947 (* 0.0424060604 (pow x 2)))))) (* (* (pow x 2) (* (pow x 2) (* x (pow x 3)))) 0.0005064034))) (+ (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2))))) (+ (* (* (pow x 2) (* (pow x 2) (* x (pow x 3)))) 0.0140005442) (* (pow x 2) (+ (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x))) (* (* 2.0 0.0001789971) (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))))))) (sqrt x))
24.0ms
(/ (* (sqrt x) (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) 0.0001789971) (+ (+ (* 0.0072644182 (pow x 6)) 1.0) (* (pow x 2) (+ 0.1049934947 (* 0.0424060604 (pow x 2)))))) (* (* (pow x 2) (* (pow x 2) (* x (pow x 3)))) 0.0005064034))) (+ (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2))))) (+ (* (* (pow x 2) (* (pow x 2) (* x (pow x 3)))) 0.0140005442) (* (pow x 2) (+ (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x))) (* (* 2.0 0.0001789971) (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))))))

simplify131.0ms

Algorithm
egg-herbie
Counts
261 → 261
Iterations

Useful iterations: 1 (36.0ms)

IterNodesCost
0176810652
150029471

prune2.8s

Filtered
109 candidates to 261 candidates (-139.4%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New2610261
Fresh011
Picked011
Done011
Total2613264

Merged error: 0b

Counts
264 → 3

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(* 0.15298196345929327 (/ 1 (pow x 5)))
0.1b
(/ 1 (pow x 3))
0.1b
(* 0.2514179000665375 (/ 1 (pow x 3)))
0.2b
(/ 1 (pow x 5))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
128×times-frac
118×add-sqr-sqrt
90×*-un-lft-identity
83×add-cube-cbrt
65×associate-*r*
62×add-exp-log
46×unpow-prod-down
24×div-exp
23×cube-prod
20×prod-exp
19×associate-/r*
18×add-cbrt-cube sqr-pow
16×unswap-sqr
12×pow-to-exp rec-exp 1-exp pow-exp
8×pow1
7×cube-mult unpow3
6×associate-*l* associate-/l*
4×cbrt-undiv cbrt-unprod div-inv add-log-exp
2×pow-flip frac-2neg associate-*r/ pow-prod-down clear-num un-div-inv *-commutative inv-pow
Counts
4 → 259
Calls
4 calls:
10.0ms
(* 0.15298196345929327 (/ 1 (pow x 5)))
5.0ms
(/ 1 (pow x 3))
13.0ms
(* 0.2514179000665375 (/ 1 (pow x 3)))
5.0ms
(/ 1 (pow x 5))

series20.0ms

Counts
4 → 12
Calls
4 calls:
9.0ms
(* 0.15298196345929327 (/ 1 (pow x 5)))
3.0ms
(/ 1 (pow x 3))
4.0ms
(* 0.2514179000665375 (/ 1 (pow x 3)))
4.0ms
(/ 1 (pow x 5))

simplify67.0ms

Algorithm
egg-herbie
Counts
271 → 271
Iterations

Useful iterations: 1 (18.0ms)

IterNodesCost
06311184
13260864
25001864

prune297.0ms

Filtered
122 candidates to 271 candidates (-122.1%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New2710271
Fresh000
Picked011
Done022
Total2713274

Merged error: 0b

Counts
274 → 3

regimes104.0ms

Accuracy

100% (0.0b remaining)

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

bsearch33.0ms

Steps
ItersRangePoint
7
1899.7789175920905
232859.37144612463
1927.4642102554917

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
09896
19896

end0.0ms

sample1.1s

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 50%

Guaranteed chance to sample good point: 99.993896%

Results
961.0ms8000×body80valid

Profiling

Loading profile data...