Details

Time bar (total: 45.1s)

sample43.0ms

Algorithm
intervals
Results
23.0ms256×body80valid

simplify1.9s

Counts
1 → 1
Iterations

Useful iterations: 3 (261.0ms)

IterNodesCost
044173
1132173
2502109
3204079
done500079

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 30.3b

localize40.0ms

Local error

Found 4 expressions with local error:

0.1b
(* 0.1049934947 (* x x))
0.2b
(* 0.7715471019 (* x x))
14.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))))) x)
29.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)))))

rewrite10.7s

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
22×add-cube-cbrt *-un-lft-identity
21×add-exp-log associate-*l* add-cbrt-cube
19×times-frac
16×pow1
8×prod-exp cbrt-unprod
7×pow-prod-down
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 associate-*l/ clear-num
Counts
4 → 103
Calls
4 calls:
6.0ms
(* 0.1049934947 (* x x))
6.0ms
(* 0.7715471019 (* x x))
6.8s
(* (/ (+ (+ (+ (+ (+ 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)
3.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)))))

series700.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(* 0.1049934947 (* x x))
24.0ms
(* 0.7715471019 (* x x))
453.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)
197.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)))))

simplify1.2s

Counts
115 → 115
Iterations

Useful iterations: 2 (439.0ms)

IterNodesCost
023015577
163912177
227177535
done50017535

prune931.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.1b
(* 0.1049934947 (pow x 2))
0.2b
(* 0.7715471019 (* x x))
14.8b
(* (/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (pow x 2))) (* 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)
29.8b
(/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (pow x 2))) (* 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)))))

rewrite10.7s

Algorithm
rewrite-expression-head
Rules
36×add-sqr-sqrt
24×add-cube-cbrt *-un-lft-identity
21×add-exp-log associate-*l*
19×times-frac
18×add-cbrt-cube
12×associate-*r*
11×pow1
8×prod-exp
7×unswap-sqr
6×cbrt-unprod
4×unpow-prod-down pow-prod-down associate-/r/ add-log-exp
3×flip3-+ associate-/r* *-commutative flip-+ associate-/l*
2×cbrt-undiv div-exp div-inv associate-/l/ unpow2 sqr-pow
1×pow-to-exp frac-2neg associate-*l/ pow-exp clear-num
Counts
4 → 111
Calls
4 calls:
5.0ms
(* 0.1049934947 (pow x 2))
6.0ms
(* 0.7715471019 (* x x))
6.8s
(* (/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (pow x 2))) (* 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)
3.9s
(/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (pow x 2))) (* 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)))))

series509.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(* 0.1049934947 (pow x 2))
24.0ms
(* 0.7715471019 (* x x))
261.0ms
(* (/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (pow x 2))) (* 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)
194.0ms
(/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (pow x 2))) (* 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)))))

simplify1.4s

Counts
123 → 123
Iterations

Useful iterations: 2 (532.0ms)

IterNodesCost
025015647
167210317
227796968
done50006968

prune1.0s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize86.0ms

Local error

Found 4 expressions with local error:

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

rewrite8.5s

Algorithm
rewrite-expression-head
Rules
74×*-un-lft-identity
52×times-frac
44×add-sqr-sqrt
41×sqrt-prod
38×add-cube-cbrt
18×flip3-+ flip-+ distribute-lft-out
16×associate-/r/
12×frac-add
8×add-exp-log add-cbrt-cube associate-/l/
7×associate-/r* associate-/l*
6×pow1
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 → 144
Calls
4 calls:
3.2s
(sqrt (/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (pow x 2))) (* 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))))))
676.0ms
(sqrt (/ (+ (+ (* 0.0005064034 (pow x 8)) (* 0.0001789971 (* (pow x 5) (pow x 5)))) (+ (* (pow x 6) 0.0072644182) (+ (* 0.0424060604 (pow x 4)) (+ 1.0 (* 0.1049934947 (pow x 2)))))) (+ (+ (+ (* 0.0140005442 (pow x 8)) (+ (* (pow x 4) 0.2909738639) (+ 1.0 (* 0.7715471019 (* x x))))) (* (pow x 6) 0.0694555761)) (+ (* (* 2.0 0.0001789971) (* (pow x 6) (pow x 6))) (* (* (pow x 5) (pow x 5)) 0.0008327945)))))
753.0ms
(/ (+ (+ (* 0.0005064034 (pow x 8)) (* 0.0001789971 (* (pow x 5) (pow x 5)))) (+ (* (pow x 6) 0.0072644182) (+ (* 0.0424060604 (pow x 4)) (+ 1.0 (* 0.1049934947 (pow x 2)))))) (+ (+ (+ (* 0.0140005442 (pow x 8)) (+ (* (pow x 4) 0.2909738639) (+ 1.0 (* 0.7715471019 (* x x))))) (* (pow x 6) 0.0694555761)) (+ (* (* 2.0 0.0001789971) (* (pow x 6) (pow x 6))) (* (* (pow x 5) (pow x 5)) 0.0008327945))))
3.9s
(/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (pow x 2))) (* 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)))))

series922.0ms

Counts
4 → 12
Calls
4 calls:
263.0ms
(sqrt (/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (pow x 2))) (* 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))))))
267.0ms
(sqrt (/ (+ (+ (* 0.0005064034 (pow x 8)) (* 0.0001789971 (* (pow x 5) (pow x 5)))) (+ (* (pow x 6) 0.0072644182) (+ (* 0.0424060604 (pow x 4)) (+ 1.0 (* 0.1049934947 (pow x 2)))))) (+ (+ (+ (* 0.0140005442 (pow x 8)) (+ (* (pow x 4) 0.2909738639) (+ 1.0 (* 0.7715471019 (* x x))))) (* (pow x 6) 0.0694555761)) (+ (* (* 2.0 0.0001789971) (* (pow x 6) (pow x 6))) (* (* (pow x 5) (pow x 5)) 0.0008327945)))))
199.0ms
(/ (+ (+ (* 0.0005064034 (pow x 8)) (* 0.0001789971 (* (pow x 5) (pow x 5)))) (+ (* (pow x 6) 0.0072644182) (+ (* 0.0424060604 (pow x 4)) (+ 1.0 (* 0.1049934947 (pow x 2)))))) (+ (+ (+ (* 0.0140005442 (pow x 8)) (+ (* (pow x 4) 0.2909738639) (+ 1.0 (* 0.7715471019 (* x x))))) (* (pow x 6) 0.0694555761)) (+ (* (* 2.0 0.0001789971) (* (pow x 6) (pow x 6))) (* (* (pow x 5) (pow x 5)) 0.0008327945))))
193.0ms
(/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (pow x 2))) (* 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)))))

simplify589.0ms

Counts
156 → 156
Iterations

Useful iterations: done (571.0ms)

IterNodesCost
038527132
1111921453
done500016875

prune2.7s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite409.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-+l+
Counts
4 → 143
Calls
4 calls:
341.0ms
(+ (+ (/ 0.2514179000665375 (pow x 3)) (/ 0.15298196345929327 (pow x 5))) (/ 0.5 x))
55.0ms
(+ (/ 0.2514179000665375 (pow x 3)) (/ 0.15298196345929327 (pow x 5)))
3.0ms
(/ 0.15298196345929327 (pow x 5))
4.0ms
(/ 0.2514179000665375 (pow x 3))

series298.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(+ (+ (/ 0.2514179000665375 (pow x 3)) (/ 0.15298196345929327 (pow x 5))) (/ 0.5 x))
118.0ms
(+ (/ 0.2514179000665375 (pow x 3)) (/ 0.15298196345929327 (pow x 5)))
51.0ms
(/ 0.15298196345929327 (pow x 5))
77.0ms
(/ 0.2514179000665375 (pow x 3))

simplify699.0ms

Counts
155 → 155
Iterations

Useful iterations: done (694.0ms)

IterNodesCost
02352136
15011879
214341777
done50001775

prune319.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes69.0ms

Accuracy

100% (0.0b remaining)

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

bsearch339.0ms

Steps
ItersRangePoint
6
20163573.119074974
244176542.41945803
28223982.69420836
9
-2572101730117.1323
-3752817.331716861
-1045055511.3804789

simplify7.0ms

Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
064211
197197
done97197

end0.0ms

sample826.0ms

Algorithm
intervals
Results
714.0ms8000×body80valid