Details

Time bar (total: 1.7hr)

sample51.0ms

Algorithm
intervals
Results
40.0ms256×body80valid

simplify918.0ms

Counts
1 → 1
Iterations

Useful iterations: 3 (190.0ms)

IterNodesCost
044173
1132173
2504109
3208679
done500079

prune23.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.6b

Counts
2 → 2

localize41.0ms

Local error

Found 4 expressions with local error:

0.2b
(pow (* x x) 4)
0.2b
(pow (* x x) 4)
14.8b
(/ x (/ (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x))))))
26.6b
(/ (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x)))))

rewrite108.0ms

Algorithm
rewrite-expression-head
Rules
150×times-frac
110×*-un-lft-identity
104×frac-add
90×flip3-+ flip-+
78×add-sqr-sqrt add-cube-cbrt
71×associate-/r/
44×associate-*r/
34×associate-/r*
20×pow1
17×add-exp-log
16×distribute-lft-out
12×pow-pow
11×add-cbrt-cube
6×pow-unpow div-inv associate-/l/ associate-/l*
4×cbrt-undiv div-exp pow-exp add-log-exp
2×pow2 pow-to-exp unpow-prod-down frac-2neg pow-plus pow-prod-down prod-exp clear-num pow-sqr pow-prod-up sqr-pow
Counts
4 → 231
Calls
4 calls:
5.0ms
(pow (* x x) 4)
5.0ms
(pow (* x x) 4)
35.0ms
(/ x (/ (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x))))))
47.0ms
(/ (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x)))))

series64.0ms

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

simplify498.0ms

Counts
243 → 243
Iterations

Useful iterations: done (470.0ms)

IterNodesCost
051429984
1157228474
done500028346

prune3.2s

Filtered
194 candidates to 243 candidates (-25.3%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New2403243
Fresh101
Picked011
Done000
Total2414245

Merged error: 0b

Counts
245 → 4

localize50.0ms

Local error

Found 4 expressions with local error:

4.3b
(sqrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x)))))
4.3b
(sqrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x)))))
23.4b
(/ (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761))) (sqrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x))))))
26.3b
(* (sqrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x))))) (/ x (/ (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761))) (sqrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x))))))))

rewrite430.0ms

Algorithm
rewrite-expression-head
Rules
211×times-frac
164×frac-add
141×flip3-+ flip-+
138×*-un-lft-identity
134×add-sqr-sqrt
122×associate-*r*
112×sqrt-div
106×add-cube-cbrt
70×sqrt-prod
69×associate-*r/
57×associate-/r/
16×distribute-lft-out
15×add-exp-log add-cbrt-cube
14×frac-times associate-*l/
8×pow1 unswap-sqr
7×associate-*l* associate-/r*
6×associate-/l/
5×div-inv
4×cbrt-undiv div-exp add-log-exp
3×prod-exp cbrt-unprod associate-/l*
2×rem-sqrt-square sqrt-pow1 pow1/2
1×frac-2neg pow-prod-down clear-num *-commutative
Counts
4 → 300
Calls
4 calls:
15.0ms
(sqrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x)))))
15.0ms
(sqrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x)))))
45.0ms
(/ (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761))) (sqrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x))))))
92.0ms
(* (sqrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x))))) (/ x (/ (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761))) (sqrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x))))))))

series81.0ms

Counts
4 → 12
Calls
4 calls:
13.0ms
(sqrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x)))))
13.0ms
(sqrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x)))))
27.0ms
(/ (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761))) (sqrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x))))))
28.0ms
(* (sqrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x))))) (/ x (/ (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761))) (sqrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x))))))))

simplify599.0ms

Counts
312 → 312
Iterations

Useful iterations: done (550.0ms)

IterNodesCost
066945366
1205242718
done500142662

prune8.0s

Filtered
251 candidates to 312 candidates (-24.3%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New3120312
Fresh022
Picked011
Done011
Total3124316

Merged error: 0b

Counts
316 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite57.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:
12.0ms
(* 0.15298196345929327 (/ 1 (pow x 5)))
5.0ms
(/ 1 (pow x 5))
21.0ms
(* 0.2514179000665375 (/ 1 (pow x 3)))
6.0ms
(/ 1 (pow x 3))

series17.0ms

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

simplify569.0ms

Counts
271 → 271
Iterations

Useful iterations: done (562.0ms)

IterNodesCost
02752775
16502158
217651778
done50001774

prune327.0ms

Filtered
127 candidates to 271 candidates (-113.4%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New2710271
Fresh011
Picked011
Done022
Total2714275

Merged error: 0b

Counts
275 → 4

localize62.0ms

Local error

Found 4 expressions with local error:

0.2b
(pow (* x x) 4)
21.5b
(/ (pow x 3) (* (* (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761))) (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761)))) (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761)))))
31.2b
(* (/ (pow x 3) (* (* (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761))) (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761)))) (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761))))) (* (* (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x))))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x))))))
37.1b
(cbrt (* (/ (pow x 3) (* (* (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761))) (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761)))) (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761))))) (* (* (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x))))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x)))))))

rewrite7.3s

Algorithm
rewrite-expression-head
Rules
55176×frac-add
47370×flip3-+ flip-+
32132×frac-times
30516×associate-*r/
6749×cbrt-div
1918×associate-*l/
684×associate-/r/
358×associate-*l*
166×add-exp-log
97×prod-exp
67×add-cbrt-cube
36×div-exp cbrt-unprod
24×times-frac
21×pow1
15×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
14×pow-exp
13×pow-to-exp
12×cbrt-undiv associate-/l*
10×unpow-prod-down
9×cube-prod
7×pow-prod-down
6×pow-pow
4×distribute-rgt-in distribute-lft-in add-log-exp sqr-pow
3×cube-mult pow-unpow unpow3
2×div-inv
1×cbrt-prod pow2 frac-2neg pow-plus pow1/3 associate-*r* clear-num associate-/r* pow-sqr *-commutative pow-prod-up
Counts
4 → 14333
Calls
4 calls:
5.0ms
(pow (* x x) 4)
109.0ms
(/ (pow x 3) (* (* (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761))) (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761)))) (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761)))))
783.0ms
(* (/ (pow x 3) (* (* (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761))) (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761)))) (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761))))) (* (* (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x))))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x))))))
968.0ms
(cbrt (* (/ (pow x 3) (* (* (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761))) (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761)))) (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761))))) (* (* (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x))))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x)))))))

series111.0ms

Counts
4 → 12
Calls
4 calls:
9.0ms
(pow (* x x) 4)
21.0ms
(/ (pow x 3) (* (* (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761))) (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761)))) (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761)))))
35.0ms
(* (/ (pow x 3) (* (* (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761))) (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761)))) (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761))))) (* (* (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x))))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x))))))
45.0ms
(cbrt (* (/ (pow x 3) (* (* (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761))) (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761)))) (+ (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (+ (+ (* 0.0001789971 (* 2.0 (pow (* x x) 6))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) 0.0694555761))))) (* (* (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x))))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182))) (+ 1.0 (* 0.1049934947 (* x x)))))))

simplify29.7s

Counts
14345 → 14345
Iterations

Useful iterations: 0 (13.9s)

IterNodesCost
0306058755803
done306058755803

prune1.7hr

Filtered
14304 candidates to 14345 candidates (-0.3%)

Profiling

Loading profile data...