Details

Time bar (total: 1.7m)

sample130.0ms

Algorithm
intervals
Results
94.0ms256×body80valid

simplify2.2s

Counts
1 → 1
Iterations

Useful iterations: done (2.2s)

IterNodesCost
044173
1132173
2535109
3233079
done500073

prune24.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 28.4b

localize67.0ms

Local error

Found 4 expressions with local error:

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

rewrite983.0ms

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

series874.0ms

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

simplify721.0ms

Counts
135 → 135
Iterations

Useful iterations: done (709.0ms)

IterNodesCost
03258932
110478594
done50007812

prune1.7s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize118.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
0.2b
(* 0.0140005442 (* (* (* (* 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)
27.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)))))

rewrite45.4s

Algorithm
rewrite-expression-head
Rules
293×add-exp-log add-cbrt-cube
288×pow1
238×prod-exp cbrt-unprod
237×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 → 227
Calls
4 calls:
2.5s
(* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
2.6s
(* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
25.9s
(* (/ (+ (+ (+ (+ (+ 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)
14.4s
(/ (+ (+ (+ (+ (+ 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)))))

series827.0ms

Counts
4 → 12
Calls
4 calls:
98.0ms
(* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
71.0ms
(* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
387.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)
270.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)))))

simplify2.6s

Counts
239 → 239
Iterations

Useful iterations: 2 (889.0ms)

IterNodesCost
038720059
18349183
234777043
done50007043

prune2.1s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize210.0ms

Local error

Found 4 expressions with local error:

15.6b
(- (* (* (pow x 4) 0.2909738639) (* (pow x 4) 0.2909738639)) (* 1.0 (* (pow x 4) 0.2909738639)))
22.2b
(- (* (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971))))) (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971)))))) (* 0.7715471019 (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971)))))))
27.4b
(/ (+ (* (pow x 4) (+ (+ (* 0.0001789971 (pow x 6)) (* (pow x 4) 0.0005064034)) (+ (* 0.0072644182 (* x x)) 0.0424060604))) (+ 1.0 (* 0.1049934947 (* x x)))) (+ (* (* (* x x) (+ (pow 0.7715471019 3) (pow (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971))))) 3))) (+ (* (* (pow x 4) 0.2909738639) (- (* (pow x 4) 0.2909738639) 1.0)) (* 1.0 1.0))) (* (+ (pow 1.0 3) (pow (* (pow x 4) 0.2909738639) 3)) (+ (* 0.7715471019 0.7715471019) (* (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971))))) (- (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971))))) 0.7715471019))))))
29.1b
(* (/ (+ (* (pow x 4) (+ (+ (* 0.0001789971 (pow x 6)) (* (pow x 4) 0.0005064034)) (+ (* 0.0072644182 (* x x)) 0.0424060604))) (+ 1.0 (* 0.1049934947 (* x x)))) (+ (* (* (* x x) (+ (pow 0.7715471019 3) (pow (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971))))) 3))) (+ (* (* (pow x 4) 0.2909738639) (- (* (pow x 4) 0.2909738639) 1.0)) (* 1.0 1.0))) (* (+ (pow 1.0 3) (pow (* (pow x 4) 0.2909738639) 3)) (+ (* 0.7715471019 0.7715471019) (* (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971))))) (- (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971))))) 0.7715471019)))))) (* (+ (* 1.0 1.0) (- (* (* (pow x 4) 0.2909738639) (* (pow x 4) 0.2909738639)) (* 1.0 (* (pow x 4) 0.2909738639)))) (+ (* 0.7715471019 0.7715471019) (- (* (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971))))) (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971)))))) (* 0.7715471019 (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971))))))))))

rewrite5.4s

Algorithm
rewrite-expression-head
Rules
1342×associate-*r/
903×flip3-+ flip-+
692×frac-add
360×frac-times
288×frac-sub
132×associate-/r/
111×associate-*l/
79×associate-*l*
19×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
18×add-exp-log times-frac add-cbrt-cube
14×associate-/l/
12×distribute-rgt-in distribute-lft-in sub-div
9×pow1
8×add-log-exp
6×prod-exp cbrt-unprod
4×associate--l+ associate--r+
3×cbrt-undiv div-exp pow-prod-down associate-/r* associate-/l*
2×sub-neg flip3-- distribute-rgt-out-- diff-log flip-- div-inv
1×frac-2neg associate-*r* clear-num *-commutative
Counts
4 → 560
Calls
4 calls:
63.0ms
(- (* (* (pow x 4) 0.2909738639) (* (pow x 4) 0.2909738639)) (* 1.0 (* (pow x 4) 0.2909738639)))
395.0ms
(- (* (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971))))) (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971)))))) (* 0.7715471019 (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971)))))))
734.0ms
(/ (+ (* (pow x 4) (+ (+ (* 0.0001789971 (pow x 6)) (* (pow x 4) 0.0005064034)) (+ (* 0.0072644182 (* x x)) 0.0424060604))) (+ 1.0 (* 0.1049934947 (* x x)))) (+ (* (* (* x x) (+ (pow 0.7715471019 3) (pow (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971))))) 3))) (+ (* (* (pow x 4) 0.2909738639) (- (* (pow x 4) 0.2909738639) 1.0)) (* 1.0 1.0))) (* (+ (pow 1.0 3) (pow (* (pow x 4) 0.2909738639) 3)) (+ (* 0.7715471019 0.7715471019) (* (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971))))) (- (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971))))) 0.7715471019))))))
4.1s
(* (/ (+ (* (pow x 4) (+ (+ (* 0.0001789971 (pow x 6)) (* (pow x 4) 0.0005064034)) (+ (* 0.0072644182 (* x x)) 0.0424060604))) (+ 1.0 (* 0.1049934947 (* x x)))) (+ (* (* (* x x) (+ (pow 0.7715471019 3) (pow (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971))))) 3))) (+ (* (* (pow x 4) 0.2909738639) (- (* (pow x 4) 0.2909738639) 1.0)) (* 1.0 1.0))) (* (+ (pow 1.0 3) (pow (* (pow x 4) 0.2909738639) 3)) (+ (* 0.7715471019 0.7715471019) (* (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971))))) (- (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971))))) 0.7715471019)))))) (* (+ (* 1.0 1.0) (- (* (* (pow x 4) 0.2909738639) (* (pow x 4) 0.2909738639)) (* 1.0 (* (pow x 4) 0.2909738639)))) (+ (* 0.7715471019 0.7715471019) (- (* (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971))))) (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971)))))) (* 0.7715471019 (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971))))))))))

series2.0s

Counts
4 → 12
Calls
4 calls:
305.0ms
(- (* (* (pow x 4) 0.2909738639) (* (pow x 4) 0.2909738639)) (* 1.0 (* (pow x 4) 0.2909738639)))
232.0ms
(- (* (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971))))) (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971)))))) (* 0.7715471019 (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971)))))))
531.0ms
(/ (+ (* (pow x 4) (+ (+ (* 0.0001789971 (pow x 6)) (* (pow x 4) 0.0005064034)) (+ (* 0.0072644182 (* x x)) 0.0424060604))) (+ 1.0 (* 0.1049934947 (* x x)))) (+ (* (* (* x x) (+ (pow 0.7715471019 3) (pow (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971))))) 3))) (+ (* (* (pow x 4) 0.2909738639) (- (* (pow x 4) 0.2909738639) 1.0)) (* 1.0 1.0))) (* (+ (pow 1.0 3) (pow (* (pow x 4) 0.2909738639) 3)) (+ (* 0.7715471019 0.7715471019) (* (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971))))) (- (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971))))) 0.7715471019))))))
927.0ms
(* (/ (+ (* (pow x 4) (+ (+ (* 0.0001789971 (pow x 6)) (* (pow x 4) 0.0005064034)) (+ (* 0.0072644182 (* x x)) 0.0424060604))) (+ 1.0 (* 0.1049934947 (* x x)))) (+ (* (* (* x x) (+ (pow 0.7715471019 3) (pow (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971))))) 3))) (+ (* (* (pow x 4) 0.2909738639) (- (* (pow x 4) 0.2909738639) 1.0)) (* 1.0 1.0))) (* (+ (pow 1.0 3) (pow (* (pow x 4) 0.2909738639) 3)) (+ (* 0.7715471019 0.7715471019) (* (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971))))) (- (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971))))) 0.7715471019)))))) (* (+ (* 1.0 1.0) (- (* (* (pow x 4) 0.2909738639) (* (pow x 4) 0.2909738639)) (* 1.0 (* (pow x 4) 0.2909738639)))) (+ (* 0.7715471019 0.7715471019) (- (* (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971))))) (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971)))))) (* 0.7715471019 (* (pow x 4) (+ (+ 0.0694555761 (* (* x x) 0.0140005442)) (+ (* 0.0008327945 (pow x 4)) (* (pow x 6) (* 2.0 0.0001789971))))))))))

simplify1.4s

Counts
572 → 572
Iterations

Useful iterations: done (1.2s)

IterNodesCost
02068203600
done5000176675

prune26.8s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize25.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (/ 0.2514179000665375 (pow x 3)) (/ 0.5 x))
0.3b
(/ 0.2514179000665375 (pow x 3))
0.5b
(/ 0.15298196345929327 (pow x 5))

rewrite114.0ms

Algorithm
rewrite-expression-head
Rules
59×times-frac
50×*-un-lft-identity
44×add-sqr-sqrt add-cube-cbrt
24×unpow-prod-down
19×associate-/r*
13×add-exp-log
12×cube-prod
8×sqr-pow
7×add-cbrt-cube
6×div-exp associate-/l*
5×add-log-exp
4×cube-mult unpow3
3×pow1
2×cbrt-undiv pow-to-exp frac-2neg pow-exp clear-num div-inv distribute-lft-out
1×+-commutative flip3-+ frac-add sum-log flip-+
Counts
3 → 124
Calls
3 calls:
91.0ms
(+ (/ 0.2514179000665375 (pow x 3)) (/ 0.5 x))
9.0ms
(/ 0.2514179000665375 (pow x 3))
9.0ms
(/ 0.15298196345929327 (pow x 5))

series269.0ms

Counts
3 → 9
Calls
3 calls:
155.0ms
(+ (/ 0.2514179000665375 (pow x 3)) (/ 0.5 x))
49.0ms
(/ 0.2514179000665375 (pow x 3))
64.0ms
(/ 0.15298196345929327 (pow x 5))

simplify997.0ms

Counts
133 → 133
Iterations

Useful iterations: 2 (328.0ms)

IterNodesCost
02021486
13901280
210741220
done50001220

prune356.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes157.0ms

Accuracy

100% (0.0b remaining)

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

bsearch1.5s

Steps
ItersRangePoint
9
20796729.49276672
4468497203068008.0
21251300.782870058
10
-6045414056204.408
-123.41774798665298
-860.3270705176699

simplify25.0ms

Iterations

Useful iterations: 1 (10.0ms)

IterNodesCost
085303
1126289
done126289

end0.0ms

sample2.7s

Algorithm
intervals
Results
2.4s8000×body80valid