Details

Time bar (total: 2.1m)

sample87.0ms

Algorithm
intervals
Results
49.0ms256×body80valid

simplify2.3s

Counts
1 → 1
Iterations

Useful iterations: done (2.3s)

IterNodesCost
044173
1132173
2547109
3278179
done500173

prune28.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 28.9b

localize107.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* x x) (* x x))
0.3b
(* 0.1049934947 (* 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)
28.3b
(/ (+ (+ (+ (+ (+ 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)))))

rewrite40.7s

Algorithm
rewrite-expression-head
Rules
122×pow1
36×pow-prod-up
28×add-exp-log add-cbrt-cube
27×add-sqr-sqrt pow-prod-down
22×pow-sqr
21×add-cube-cbrt *-un-lft-identity
19×times-frac associate-*l*
18×pow-plus
13×pow2 prod-exp cbrt-unprod
5×associate-*r*
4×associate-/r/ add-log-exp unswap-sqr
3×flip3-+ associate-/r* *-commutative flip-+ associate-/l*
2×cbrt-undiv div-exp div-inv associate-/l/
1×frac-2neg swap-sqr associate-*l/ clear-num
Counts
4 → 147
Calls
4 calls:
59.0ms
(* (* x x) (* x x))
33.0ms
(* 0.1049934947 (* x x))
26.0s
(* (/ (+ (+ (+ (+ (+ 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.6s
(/ (+ (+ (+ (+ (+ 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)))))

series755.0ms

Counts
4 → 12
Calls
4 calls:
38.0ms
(* (* x x) (* x x))
45.0ms
(* 0.1049934947 (* x x))
363.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)
309.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)))))

simplify4.9s

Counts
159 → 159
Iterations

Useful iterations: 2 (1.3s)

IterNodesCost
023915858
173612385
249566633
done50016633

prune1.8s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize235.0ms

Local error

Found 4 expressions with local error:

12.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)))) (+ (+ (+ (+ (+ (+ 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))))))
12.9b
(sqrt (/ (+ (+ 1.0 (* 0.1049934947 (* x x))) (+ (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182)) (* (* x x) (+ (* 0.0005064034 (pow x 6)) (* (pow x 8) 0.0001789971))))) (+ (* (pow x 12) (* 2.0 0.0001789971)) (+ (+ (* 0.0008327945 (* (pow x 6) (pow x 4))) (+ (* (pow x 6) 0.0694555761) (+ (+ 1.0 (* 0.7715471019 (* x x))) (* (pow x 4) 0.2909738639)))) (* 0.0140005442 (pow x 8))))))
28.3b
(/ (+ (+ (+ (+ (+ 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)))))
28.3b
(/ (+ (+ 1.0 (* 0.1049934947 (* x x))) (+ (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182)) (* (* x x) (+ (* 0.0005064034 (pow x 6)) (* (pow x 8) 0.0001789971))))) (+ (* (pow x 12) (* 2.0 0.0001789971)) (+ (+ (* 0.0008327945 (* (pow x 6) (pow x 4))) (+ (* (pow x 6) 0.0694555761) (+ (+ 1.0 (* 0.7715471019 (* x x))) (* (pow x 4) 0.2909738639)))) (* 0.0140005442 (pow x 8)))))

rewrite35.1s

Algorithm
rewrite-expression-head
Rules
50×*-un-lft-identity
44×times-frac
42×add-sqr-sqrt
36×add-cube-cbrt
33×sqrt-prod
22×flip3-+ flip-+
20×frac-add
16×associate-/l/
8×add-exp-log associate-*r/ associate-/r/ add-cbrt-cube
7×distribute-lft-out associate-/l*
6×pow1 associate-/r*
4×rem-sqrt-square div-inv add-log-exp
2×cbrt-undiv frac-2neg sqrt-pow1 pow1/2 sqrt-div div-exp clear-num
Counts
4 → 135
Calls
4 calls:
11.7s
(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))))))
4.1s
(sqrt (/ (+ (+ 1.0 (* 0.1049934947 (* x x))) (+ (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182)) (* (* x x) (+ (* 0.0005064034 (pow x 6)) (* (pow x 8) 0.0001789971))))) (+ (* (pow x 12) (* 2.0 0.0001789971)) (+ (+ (* 0.0008327945 (* (pow x 6) (pow x 4))) (+ (* (pow x 6) 0.0694555761) (+ (+ 1.0 (* 0.7715471019 (* x x))) (* (pow x 4) 0.2909738639)))) (* 0.0140005442 (pow x 8))))))
14.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)))))
4.8s
(/ (+ (+ 1.0 (* 0.1049934947 (* x x))) (+ (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182)) (* (* x x) (+ (* 0.0005064034 (pow x 6)) (* (pow x 8) 0.0001789971))))) (+ (* (pow x 12) (* 2.0 0.0001789971)) (+ (+ (* 0.0008327945 (* (pow x 6) (pow x 4))) (+ (* (pow x 6) 0.0694555761) (+ (+ 1.0 (* 0.7715471019 (* x x))) (* (pow x 4) 0.2909738639)))) (* 0.0140005442 (pow x 8)))))

series1.3s

Counts
4 → 12
Calls
4 calls:
432.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))))))
389.0ms
(sqrt (/ (+ (+ 1.0 (* 0.1049934947 (* x x))) (+ (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182)) (* (* x x) (+ (* 0.0005064034 (pow x 6)) (* (pow x 8) 0.0001789971))))) (+ (* (pow x 12) (* 2.0 0.0001789971)) (+ (+ (* 0.0008327945 (* (pow x 6) (pow x 4))) (+ (* (pow x 6) 0.0694555761) (+ (+ 1.0 (* 0.7715471019 (* x x))) (* (pow x 4) 0.2909738639)))) (* 0.0140005442 (pow x 8))))))
255.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)))))
243.0ms
(/ (+ (+ 1.0 (* 0.1049934947 (* x x))) (+ (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182)) (* (* x x) (+ (* 0.0005064034 (pow x 6)) (* (pow x 8) 0.0001789971))))) (+ (* (pow x 12) (* 2.0 0.0001789971)) (+ (+ (* 0.0008327945 (* (pow x 6) (pow x 4))) (+ (* (pow x 6) 0.0694555761) (+ (+ 1.0 (* 0.7715471019 (* x x))) (* (pow x 4) 0.2909738639)))) (* 0.0140005442 (pow x 8)))))

simplify711.0ms

Counts
147 → 147
Iterations

Useful iterations: done (684.0ms)

IterNodesCost
037124569
1109320710
done500117250

prune4.5s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize79.0ms

Local error

Found 4 expressions with local error:

0.3b
(* 0.1049934947 (* x x))
11.3b
(cbrt (pow (/ (+ (+ 1.0 (* 0.1049934947 (* x x))) (+ (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182)) (* (* x x) (+ (* 0.0005064034 (pow x 6)) (* (pow x 8) 0.0001789971))))) (+ (* (pow x 12) (* 2.0 0.0001789971)) (+ (+ (* 0.0008327945 (* (pow x 6) (pow x 4))) (+ (* (pow x 6) 0.0694555761) (+ (+ 1.0 (* 0.7715471019 (* x x))) (* (pow x 4) 0.2909738639)))) (* 0.0140005442 (pow x 8))))) 3))
12.9b
(* (cbrt (pow (/ (+ (+ 1.0 (* 0.1049934947 (* x x))) (+ (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182)) (* (* x x) (+ (* 0.0005064034 (pow x 6)) (* (pow x 8) 0.0001789971))))) (+ (* (pow x 12) (* 2.0 0.0001789971)) (+ (+ (* 0.0008327945 (* (pow x 6) (pow x 4))) (+ (* (pow x 6) 0.0694555761) (+ (+ 1.0 (* 0.7715471019 (* x x))) (* (pow x 4) 0.2909738639)))) (* 0.0140005442 (pow x 8))))) 3)) x)
28.3b
(/ (+ (+ 1.0 (* 0.1049934947 (* x x))) (+ (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182)) (* (* x x) (+ (* 0.0005064034 (pow x 6)) (* (pow x 8) 0.0001789971))))) (+ (* (pow x 12) (* 2.0 0.0001789971)) (+ (+ (* 0.0008327945 (* (pow x 6) (pow x 4))) (+ (* (pow x 6) 0.0694555761) (+ (+ 1.0 (* 0.7715471019 (* x x))) (* (pow x 4) 0.2909738639)))) (* 0.0140005442 (pow x 8)))))

rewrite23.7s

Algorithm
rewrite-expression-head
Rules
90×cbrt-prod
82×*-un-lft-identity
66×add-sqr-sqrt
62×times-frac
50×add-cube-cbrt
48×associate-*l*
38×unpow-prod-down cube-prod
22×flip3-+ flip-+
20×frac-add
16×distribute-lft-out
14×associate-/l/
13×add-exp-log
12×add-cbrt-cube
11×pow1
10×associate-/r/
8×associate-*r/ unswap-sqr
5×div-inv
4×associate-*r* pow-prod-down prod-exp cbrt-unprod associate-/l* add-log-exp
3×associate-/r* sqr-pow
2×cube-div cube-mult cbrt-div unpow3 *-commutative
1×cbrt-undiv frac-2neg pow1/3 div-exp associate-*l/ clear-num rem-cbrt-cube
Counts
4 → 185
Calls
4 calls:
18.0ms
(* 0.1049934947 (* x x))
3.0s
(cbrt (pow (/ (+ (+ 1.0 (* 0.1049934947 (* x x))) (+ (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182)) (* (* x x) (+ (* 0.0005064034 (pow x 6)) (* (pow x 8) 0.0001789971))))) (+ (* (pow x 12) (* 2.0 0.0001789971)) (+ (+ (* 0.0008327945 (* (pow x 6) (pow x 4))) (+ (* (pow x 6) 0.0694555761) (+ (+ 1.0 (* 0.7715471019 (* x x))) (* (pow x 4) 0.2909738639)))) (* 0.0140005442 (pow x 8))))) 3))
15.4s
(* (cbrt (pow (/ (+ (+ 1.0 (* 0.1049934947 (* x x))) (+ (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182)) (* (* x x) (+ (* 0.0005064034 (pow x 6)) (* (pow x 8) 0.0001789971))))) (+ (* (pow x 12) (* 2.0 0.0001789971)) (+ (+ (* 0.0008327945 (* (pow x 6) (pow x 4))) (+ (* (pow x 6) 0.0694555761) (+ (+ 1.0 (* 0.7715471019 (* x x))) (* (pow x 4) 0.2909738639)))) (* 0.0140005442 (pow x 8))))) 3)) x)
5.3s
(/ (+ (+ 1.0 (* 0.1049934947 (* x x))) (+ (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182)) (* (* x x) (+ (* 0.0005064034 (pow x 6)) (* (pow x 8) 0.0001789971))))) (+ (* (pow x 12) (* 2.0 0.0001789971)) (+ (+ (* 0.0008327945 (* (pow x 6) (pow x 4))) (+ (* (pow x 6) 0.0694555761) (+ (+ 1.0 (* 0.7715471019 (* x x))) (* (pow x 4) 0.2909738639)))) (* 0.0140005442 (pow x 8)))))

series737.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(* 0.1049934947 (* x x))
211.0ms
(cbrt (pow (/ (+ (+ 1.0 (* 0.1049934947 (* x x))) (+ (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182)) (* (* x x) (+ (* 0.0005064034 (pow x 6)) (* (pow x 8) 0.0001789971))))) (+ (* (pow x 12) (* 2.0 0.0001789971)) (+ (+ (* 0.0008327945 (* (pow x 6) (pow x 4))) (+ (* (pow x 6) 0.0694555761) (+ (+ 1.0 (* 0.7715471019 (* x x))) (* (pow x 4) 0.2909738639)))) (* 0.0140005442 (pow x 8))))) 3))
283.0ms
(* (cbrt (pow (/ (+ (+ 1.0 (* 0.1049934947 (* x x))) (+ (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182)) (* (* x x) (+ (* 0.0005064034 (pow x 6)) (* (pow x 8) 0.0001789971))))) (+ (* (pow x 12) (* 2.0 0.0001789971)) (+ (+ (* 0.0008327945 (* (pow x 6) (pow x 4))) (+ (* (pow x 6) 0.0694555761) (+ (+ 1.0 (* 0.7715471019 (* x x))) (* (pow x 4) 0.2909738639)))) (* 0.0140005442 (pow x 8))))) 3)) x)
213.0ms
(/ (+ (+ 1.0 (* 0.1049934947 (* x x))) (+ (+ (* (pow x 4) 0.0424060604) (* (pow x 6) 0.0072644182)) (* (* x x) (+ (* 0.0005064034 (pow x 6)) (* (pow x 8) 0.0001789971))))) (+ (* (pow x 12) (* 2.0 0.0001789971)) (+ (+ (* 0.0008327945 (* (pow x 6) (pow x 4))) (+ (* (pow x 6) 0.0694555761) (+ (+ 1.0 (* 0.7715471019 (* x x))) (* (pow x 4) 0.2909738639)))) (* 0.0140005442 (pow x 8)))))

simplify441.0ms

Counts
197 → 197
Iterations

Useful iterations: done (426.0ms)

IterNodesCost
034120133
1111118808
done500017956

prune1.6s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite234.0ms

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

series235.0ms

Counts
4 → 12
Calls
4 calls:
55.0ms
(+ (/ 0.15298196345929327 (pow x 5)) (+ (/ 0.5 x) (/ 0.2514179000665375 (pow x 3))))
88.0ms
(+ (/ 0.5 x) (/ 0.2514179000665375 (pow x 3)))
50.0ms
(/ 0.15298196345929327 (pow x 5))
42.0ms
(/ 0.2514179000665375 (pow x 3))

simplify959.0ms

Counts
155 → 155
Iterations

Useful iterations: 2 (401.0ms)

IterNodesCost
02362070
15631811
226551739
done50011739

prune318.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes73.0ms

Accuracy

100% (0.0b remaining)

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

bsearch512.0ms

Steps
ItersRangePoint
8
1.4124627081995123
1575.9184687212278
641.7354232188948
10
-1.3980170606481126e+18
-1333.496421940221
-1126932.8644876434

simplify10.0ms

Iterations

Useful iterations: 1 (6.0ms)

IterNodesCost
071124
1105110
done105110

end0.0ms

sample1.9s

Algorithm
intervals
Results
1.7s8000×body80valid