Details

Time bar (total: 2.4m)

sample128.0ms

Algorithm
intervals
Results
63.0ms256×body80valid

simplify3.4s

Counts
1 → 1
Iterations

Useful iterations: done (3.4s)

IterNodesCost
0441253
11321253
25061253
319691173
done50011133

prune30.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 28.6b

localize144.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* x x) 0.0001789971)
0.1b
(* 0.0008327945 (* x x))
16.5b
(* (/ (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))) 0.0424060604)) (+ 1.0 (* (* x x) (+ 0.1049934947 (* 0.0072644182 (* (* x x) (* x x))))))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) 0.0140005442)) (+ (* (* (* x x) (* x x)) (+ (* (* 2.0 0.0001789971) (* (* (* x x) (* x x)) (* (* x x) (* x x)))) 0.2909738639)) (+ (* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019)) 1.0)))) x)
28.1b
(/ (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))) 0.0424060604)) (+ 1.0 (* (* x x) (+ 0.1049934947 (* 0.0072644182 (* (* x x) (* x x))))))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) 0.0140005442)) (+ (* (* (* x x) (* x x)) (+ (* (* 2.0 0.0001789971) (* (* (* x x) (* x x)) (* (* x x) (* x x)))) 0.2909738639)) (+ (* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019)) 1.0))))

rewrite41.1s

Algorithm
rewrite-expression-head
Rules
44×frac-add associate-*r/
39×flip3-+ flip-+
31×associate-*l*
29×add-sqr-sqrt
28×associate-/r/
22×*-un-lft-identity add-cube-cbrt
21×add-cbrt-cube add-exp-log
19×times-frac
16×pow1
8×prod-exp cbrt-unprod
7×associate-*r* pow-prod-down
6×associate-/l/
4×add-log-exp unswap-sqr
3×associate-/r* *-commutative associate-/l*
2×cbrt-undiv div-exp div-inv
1×clear-num frac-2neg associate-*l/
Counts
4 → 131
Calls
4 calls:
29.0ms
(* (* x x) 0.0001789971)
27.0ms
(* 0.0008327945 (* x x))
27.3s
(* (/ (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))) 0.0424060604)) (+ 1.0 (* (* x x) (+ 0.1049934947 (* 0.0072644182 (* (* x x) (* x x))))))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) 0.0140005442)) (+ (* (* (* x x) (* x x)) (+ (* (* 2.0 0.0001789971) (* (* (* x x) (* x x)) (* (* x x) (* x x)))) 0.2909738639)) (+ (* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019)) 1.0)))) x)
13.8s
(/ (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))) 0.0424060604)) (+ 1.0 (* (* x x) (+ 0.1049934947 (* 0.0072644182 (* (* x x) (* x x))))))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) 0.0140005442)) (+ (* (* (* x x) (* x x)) (+ (* (* 2.0 0.0001789971) (* (* (* x x) (* x x)) (* (* x x) (* x x)))) 0.2909738639)) (+ (* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019)) 1.0))))

series782.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(* (* x x) 0.0001789971)
29.0ms
(* 0.0008327945 (* x x))
420.0ms
(* (/ (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))) 0.0424060604)) (+ 1.0 (* (* x x) (+ 0.1049934947 (* 0.0072644182 (* (* x x) (* x x))))))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) 0.0140005442)) (+ (* (* (* x x) (* x x)) (+ (* (* 2.0 0.0001789971) (* (* (* x x) (* x x)) (* (* x x) (* x x)))) 0.2909738639)) (+ (* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019)) 1.0)))) x)
306.0ms
(/ (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))) 0.0424060604)) (+ 1.0 (* (* x x) (+ 0.1049934947 (* 0.0072644182 (* (* x x) (* x x))))))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) 0.0140005442)) (+ (* (* (* x x) (* x x)) (+ (* (* 2.0 0.0001789971) (* (* (* x x) (* x x)) (* (* x x) (* x x)))) 0.2909738639)) (+ (* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019)) 1.0))))

simplify5.0s

Counts
143 → 143
Iterations

Useful iterations: done (4.9s)

IterNodesCost
0380137219
11321127996
done5002127071

prune1.9s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize287.0ms

Local error

Found 4 expressions with local error:

0.3b
(* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))
0.3b
(* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))
16.5b
(* (/ (+ (+ (+ (+ (+ 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)
28.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)))))

rewrite31.7s

Algorithm
rewrite-expression-head
Rules
117×add-cbrt-cube add-exp-log
112×pow1
86×prod-exp cbrt-unprod
85×pow-prod-down
27×add-sqr-sqrt
22×*-un-lft-identity add-cube-cbrt
21×associate-*l*
19×times-frac
5×associate-*r*
4×associate-/r/ add-log-exp
3×associate-/r* flip3-+ *-commutative flip-+ associate-/l*
2×cbrt-undiv div-exp div-inv unswap-sqr associate-/l/
1×clear-num frac-2neg associate-*l/
Counts
4 → 155
Calls
4 calls:
447.0ms
(* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))
456.0ms
(* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))
20.2s
(* (/ (+ (+ (+ (+ (+ 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)
10.5s
(/ (+ (+ (+ (+ (+ 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)))))

series843.0ms

Counts
4 → 12
Calls
4 calls:
70.0ms
(* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))
68.0ms
(* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))
377.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)
328.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)))))

simplify7.4s

Counts
167 → 167
Iterations

Useful iterations: done (7.3s)

IterNodesCost
0294123833
1898117281
23387115323
done5003114627

prune1.3s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize369.0ms

Local error

Found 4 expressions with local error:

2.1b
(sqrt (+ (+ (+ (+ (+ 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)))))
16.5b
(* (* (sqrt (+ (+ (+ (+ (+ 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))))) (/ (sqrt (+ (+ (+ (+ (+ 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.6b
(/ (sqrt (+ (+ (+ (+ (+ 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)))))
26.9b
(* (sqrt (+ (+ (+ (+ (+ 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))))) (/ (sqrt (+ (+ (+ (+ (+ 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))))))

rewrite49.5s

Algorithm
rewrite-expression-head
Rules
53×add-sqr-sqrt
40×times-frac
36×*-un-lft-identity add-cube-cbrt
32×sqrt-prod
27×associate-*r*
20×add-cbrt-cube add-exp-log
12×pow1 sqrt-div
9×associate-*l/
8×flip3-+ flip-+
7×associate-*l* prod-exp cbrt-unprod
6×associate-/l* unswap-sqr
4×frac-times pow-prod-down associate-/r/ add-log-exp
3×cbrt-undiv associate-/r* div-exp
2×associate-*r/ *-commutative div-inv associate-/l/
1×rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2
Counts
4 → 137
Calls
4 calls:
1.3s
(sqrt (+ (+ (+ (+ (+ 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)))))
16.9s
(* (* (sqrt (+ (+ (+ (+ (+ 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))))) (/ (sqrt (+ (+ (+ (+ (+ 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)
9.3s
(/ (sqrt (+ (+ (+ (+ (+ 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)))))
22.1s
(* (sqrt (+ (+ (+ (+ (+ 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))))) (/ (sqrt (+ (+ (+ (+ (+ 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))))))

series970.0ms

Counts
4 → 12
Calls
4 calls:
144.0ms
(sqrt (+ (+ (+ (+ (+ 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)))))
276.0ms
(* (* (sqrt (+ (+ (+ (+ (+ 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))))) (/ (sqrt (+ (+ (+ (+ (+ 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)
338.0ms
(/ (sqrt (+ (+ (+ (+ (+ 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)))))
211.0ms
(* (sqrt (+ (+ (+ (+ (+ 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))))) (/ (sqrt (+ (+ (+ (+ (+ 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))))))

simplify958.0ms

Iterations

Useful iterations: 0 (208.0ms)

IterNodesCost
0322211167