Details

Time bar (total: 9.3s)

sample54.0ms

Algorithm
intervals
Results
31.0ms256×body80valid

simplify102.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (21.0ms)

IterNodesCost
013286
155778
2262241
3500141

prune24.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 26.6b

Counts
2 → 2

localize47.0ms

Local error

Found 4 expressions with local error:

0.3b
(* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))
0.3b
(* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
12.9b
(* (/ (+ (+ (+ (+ (+ 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)
26.1b
(/ (+ (+ (+ (+ (+ 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)))))

rewrite358.0ms

Algorithm
rewrite-expression-head
Rules
205×add-exp-log add-cbrt-cube
200×pow1
162×prod-exp cbrt-unprod
161×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 → 191
Calls
4 calls:
57.0ms
(* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))
181.0ms
(* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
42.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)))))

series568.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))
47.0ms
(* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
268.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)
200.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)))))

simplify184.0ms

Algorithm
egg-herbie
Counts
203 → 203
Iterations

Useful iterations: 2 (114.0ms)

IterNodesCost
012068794
145256884
250016632

prune865.0ms

Filtered
203 candidates to 90 candidates (44.3%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New1994203
Fresh101
Picked101
Done000
Total2014205

Merged error: 0b

Counts
205 → 4

localize63.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 0.0140005442 (* (* (* x x) x) (* (* x x) x)))
0.3b
(* 0.0072644182 (pow x 6))
0.3b
(* 0.0005064034 (pow x 8))
26.2b
(/ (* 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)))))) (* 0.0005064034 (pow x 8)))) (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3)))))) (* 2.0 0.0001789971)) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2)))))) (* (pow x 2) (+ (* 0.0140005442 (* (* (* x x) x) (* (* x x) x))) (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))))))

rewrite115.0ms

Algorithm
rewrite-expression-head
Rules
66×add-exp-log
60×add-cbrt-cube
51×pow1
44×prod-exp
40×cbrt-unprod
37×pow-prod-down
24×add-sqr-sqrt
15×associate-*r*
13×add-cube-cbrt *-un-lft-identity
9×associate-*l*
8×unpow-prod-down
7×unswap-sqr
6×flip3-+ associate-*r/ associate-/r/ flip-+
4×frac-add add-log-exp sqr-pow
3×times-frac associate-/r* *-commutative
2×cbrt-undiv pow-to-exp div-exp pow-exp associate-/l/
1×frac-2neg clear-num div-inv associate-/l*
Counts
4 → 122
Calls
4 calls:
46.0ms
(* 0.0140005442 (* (* (* x x) x) (* (* x x) x)))
6.0ms
(* 0.0072644182 (pow x 6))
5.0ms
(* 0.0005064034 (pow x 8))
51.0ms
(/ (* 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)))))) (* 0.0005064034 (pow x 8)))) (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3)))))) (* 2.0 0.0001789971)) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2)))))) (* (pow x 2) (+ (* 0.0140005442 (* (* (* x x) x) (* (* x x) x))) (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))))))

series423.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(* 0.0140005442 (* (* (* x x) x) (* (* x x) x)))
52.0ms
(* 0.0072644182 (pow x 6))
53.0ms
(* 0.0005064034 (pow x 8))
272.0ms
(/ (* 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)))))) (* 0.0005064034 (pow x 8)))) (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3)))))) (* 2.0 0.0001789971)) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2)))))) (* (pow x 2) (+ (* 0.0140005442 (* (* (* x x) x) (* (* x x) x))) (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))))))

simplify64.0ms

Algorithm
egg-herbie
Counts
134 → 134
Iterations

Useful iterations: 1 (27.0ms)

IterNodesCost
09283601
150012986

prune969.0ms

Filtered
134 candidates to 78 candidates (58.2%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1340134
Fresh033
Picked011
Done000
Total1344138

Merged error: 0b

Counts
138 → 4

localize55.0ms

Local error

Found 4 expressions with local error:

0.3b
(* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))
0.3b
(* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
0.5b
(/ x (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3)))))) (* 2.0 0.0001789971)) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2)))))) (* (pow x 2) (+ (* 0.0140005442 (* (* (* x x) x) (* (* x x) x))) (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))))))
25.7b
(* (+ (+ (+ (+ (+ 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)))) (/ x (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3)))))) (* 2.0 0.0001789971)) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2)))))) (* (pow x 2) (+ (* 0.0140005442 (* (* (* x x) x) (* (* x x) x))) (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x))))))))

rewrite336.0ms

Algorithm
rewrite-expression-head
Rules
205×add-exp-log add-cbrt-cube
200×pow1
162×prod-exp cbrt-unprod
161×pow-prod-down
27×add-sqr-sqrt
22×add-cube-cbrt *-un-lft-identity
21×associate-*r*
19×times-frac
12×flip3-+ associate-/r/ flip-+
9×associate-*r/ associate-*l*
8×frac-add
4×add-log-exp
3×associate-/r* *-commutative associate-/l*
2×cbrt-undiv frac-times div-exp associate-*l/ div-inv unswap-sqr
1×frac-2neg clear-num
Counts
4 → 201
Calls
4 calls:
57.0ms
(* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))
177.0ms
(* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
30.0ms
(/ x (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3)))))) (* 2.0 0.0001789971)) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2)))))) (* (pow x 2) (+ (* 0.0140005442 (* (* (* x x) x) (* (* x x) x))) (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))))))
55.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)))) (/ x (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3)))))) (* 2.0 0.0001789971)) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2)))))) (* (pow x 2) (+ (* 0.0140005442 (* (* (* x x) x) (* (* x x) x))) (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x))))))))

series536.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))
52.0ms
(* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
162.0ms
(/ x (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3)))))) (* 2.0 0.0001789971)) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2)))))) (* (pow x 2) (+ (* 0.0140005442 (* (* (* x x) x) (* (* x x) x))) (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))))))
276.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)))) (/ x (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3)))))) (* 2.0 0.0001789971)) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2)))))) (* (pow x 2) (+ (* 0.0140005442 (* (* (* x x) x) (* (* x x) x))) (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x))))))))

simplify99.0ms

Algorithm
egg-herbie
Counts
213 → 213
Iterations

Useful iterations: 1 (28.0ms)

IterNodesCost
014348610
150017112

prune1.1s

Filtered
213 candidates to 100 candidates (46.9%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New2130213
Fresh022
Picked011
Done011
Total2134217

Merged error: 0b

Counts
217 → 4

localize55.0ms

Local error

Found 4 expressions with local error:

0.3b
(* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))
0.3b
(* 0.0005064034 (pow x 8))
12.9b
(* (/ (- (+ (- (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x))))) (- (* 0.0005064034 (pow x 8)))) (* (* 0.0001789971 (pow x 9)) 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))))) (* (* (pow x 12) 0.0001789971) 2.0))) x)
26.1b
(/ (- (+ (- (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x))))) (- (* 0.0005064034 (pow x 8)))) (* (* 0.0001789971 (pow x 9)) 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))))) (* (* (pow x 12) 0.0001789971) 2.0)))

rewrite152.0ms

Algorithm
rewrite-expression-head
Rules
69×add-exp-log
66×add-cbrt-cube
59×pow1
47×prod-exp
45×cbrt-unprod
43×pow-prod-down
34×add-sqr-sqrt
24×add-cube-cbrt *-un-lft-identity
21×associate-*l*
19×times-frac
11×associate-*r*
5×unswap-sqr
4×unpow-prod-down associate-/r/ add-log-exp
3×flip3-- associate-/r* *-commutative flip-- associate-/l*
2×cbrt-undiv div-exp div-inv associate-/l/ sqr-pow
1×pow-to-exp frac-2neg div-sub associate-*l/ pow-exp clear-num
Counts
4 → 136
Calls
4 calls:
53.0ms
(* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))
5.0ms
(* 0.0005064034 (pow x 8))
43.0ms
(* (/ (- (+ (- (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x))))) (- (* 0.0005064034 (pow x 8)))) (* (* 0.0001789971 (pow x 9)) 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))))) (* (* (pow x 12) 0.0001789971) 2.0))) x)
43.0ms
(/ (- (+ (- (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x))))) (- (* 0.0005064034 (pow x 8)))) (* (* 0.0001789971 (pow x 9)) 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))))) (* (* (pow x 12) 0.0001789971) 2.0)))

series769.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))
49.0ms
(* 0.0005064034 (pow x 8))
468.0ms
(* (/ (- (+ (- (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x))))) (- (* 0.0005064034 (pow x 8)))) (* (* 0.0001789971 (pow x 9)) 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))))) (* (* (pow x 12) 0.0001789971) 2.0))) x)
201.0ms
(/ (- (+ (- (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x))))) (- (* 0.0005064034 (pow x 8)))) (* (* 0.0001789971 (pow x 9)) 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))))) (* (* (pow x 12) 0.0001789971) 2.0)))

simplify147.0ms

Algorithm
egg-herbie
Counts
148 → 148
Iterations

Useful iterations: 2 (97.0ms)

IterNodesCost
08896442
139795399
250015272

prune945.0ms

Filtered
148 candidates to 93 candidates (62.8%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1480148
Fresh011
Picked011
Done022
Total1484152

Merged error: 0b

Counts
152 → 4

regimes71.0ms

Accuracy

100% (0.0b remaining)

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

bsearch336.0ms

Steps
ItersRangePoint
9
0.006602375602419948
2408.9151023461654
1433.5586944798704
5
-18062256.86705318
-7888799.454350161
-8486103.700478198

simplify6.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
012376
114976
217876
320176
420976
521476
621476

end0.0ms

sample891.0ms

Algorithm
intervals
Results
789.0ms8000×body80valid

Profiling

Loading profile data...