Details

Time bar (total: 3.0m)

sample83.0ms

Algorithm
intervals
Results
38.0ms256×body80valid

simplify2.5s

Counts
1 → 1
Iterations
IterNodes
done5001
32740
2547
1132
044

prune24.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 28.8b

localize178.0ms

Local error

Found 4 expressions with local error:

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

rewrite40.4s

Algorithm
rewrite-expression-head
Rules
38×*-un-lft-identity
30×add-sqr-sqrt
25×times-frac add-cbrt-cube add-exp-log
24×add-cube-cbrt
20×pow1 associate-*l*
11×prod-exp cbrt-unprod
10×pow-prod-down
9×associate-*r*
7×flip3-+ flip-+ distribute-lft-out
6×associate-/l/
4×associate-/r* frac-add associate-*r/ associate-/r/ add-log-exp
3×*-commutative associate-/l* unswap-sqr
2×cbrt-undiv div-exp div-inv
1×clear-num frac-2neg associate-*l/
Counts
4 → 116
Calls
4 calls:
51.0ms
(* (* (* x x) 2.0) 0.0001789971)
17.0ms
(* (* x x) 0.1049934947)
23.0s
(* (/ (+ (* (* (* x x) (* x x)) (+ (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) (* 0.0005064034 (* (* x x) (* x x)))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1.0))) (+ 1.0 (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* (* (* x x) 2.0) 0.0001789971))) 0.0140005442))))) x)
17.3s
(/ (+ (* (* (* x x) (* x x)) (+ (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) (* 0.0005064034 (* (* x x) (* x x)))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1.0))) (+ 1.0 (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* (* (* x x) 2.0) 0.0001789971))) 0.0140005442)))))

series812.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(* (* (* x x) 2.0) 0.0001789971)
39.0ms
(* (* x x) 0.1049934947)
423.0ms
(* (/ (+ (* (* (* x x) (* x x)) (+ (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) (* 0.0005064034 (* (* x x) (* x x)))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1.0))) (+ 1.0 (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* (* (* x x) 2.0) 0.0001789971))) 0.0140005442))))) x)
313.0ms
(/ (+ (* (* (* x x) (* x x)) (+ (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) (* 0.0005064034 (* (* x x) (* x x)))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1.0))) (+ 1.0 (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* (* (* x x) 2.0) 0.0001789971))) 0.0140005442)))))

simplify2.3s

Counts
128 → 128
Iterations
IterNodes
done5001
1830
0264

prune1.3s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize156.0ms

Local error

Found 4 expressions with local error:

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

rewrite38.2s

Algorithm
rewrite-expression-head
Rules
38×*-un-lft-identity
30×add-sqr-sqrt
25×times-frac add-cbrt-cube add-exp-log
24×add-cube-cbrt
22×associate-*l*
20×pow1
11×prod-exp cbrt-unprod
10×pow-prod-down
7×flip3-+ associate-*r* flip-+ distribute-lft-out
6×associate-/l/
4×associate-/r* frac-add associate-*r/ associate-/r/ add-log-exp
3×*-commutative associate-/l* unswap-sqr
2×cbrt-undiv div-exp div-inv
1×clear-num frac-2neg associate-*l/
Counts
4 → 116
Calls
4 calls:
76.0ms
(* 0.0001789971 (* (* x x) 2.0))
31.0ms
(* (* x x) 0.1049934947)
21.5s
(* (/ (+ (* (* (* x x) (* x x)) (+ (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) (* 0.0005064034 (* (* x x) (* x x)))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1.0))) (+ 1.0 (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442))))) x)
16.6s
(/ (+ (* (* (* x x) (* x x)) (+ (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) (* 0.0005064034 (* (* x x) (* x x)))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1.0))) (+ 1.0 (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442)))))

series780.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(* 0.0001789971 (* (* x x) 2.0))
33.0ms
(* (* x x) 0.1049934947)
389.0ms
(* (/ (+ (* (* (* x x) (* x x)) (+ (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) (* 0.0005064034 (* (* x x) (* x x)))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1.0))) (+ 1.0 (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442))))) x)
312.0ms
(/ (+ (* (* (* x x) (* x x)) (+ (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) (* 0.0005064034 (* (* x x) (* x x)))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1.0))) (+ 1.0 (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442)))))

simplify2.4s

Counts
128 → 128
Iterations
IterNodes
done5001
1823
0262

prune1.3s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize367.0ms

Local error

Found 4 expressions with local error:

13.5b
(* (* (/ (+ (* (* (* x x) (* x x)) (+ (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) (* 0.0005064034 (* (* x x) (* x x)))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1.0))) (+ (pow 1.0 3) (pow (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442))) 3))) (+ (* 1.0 1.0) (- (* (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442)))) (* 1.0 (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442))))))) x)
23.0b
(- (* (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442)))) (* 1.0 (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442)))))
27.7b
(/ (+ (* (* (* x x) (* x x)) (+ (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) (* 0.0005064034 (* (* x x) (* x x)))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1.0))) (+ (pow 1.0 3) (pow (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442))) 3)))
29.8b
(* (/ (+ (* (* (* x x) (* x x)) (+ (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) (* 0.0005064034 (* (* x x) (* x x)))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1.0))) (+ (pow 1.0 3) (pow (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442))) 3))) (+ (* 1.0 1.0) (- (* (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442)))) (* 1.0 (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442)))))))

rewrite1.1m

Algorithm
rewrite-expression-head
Rules
1438×associate-*r/
691×flip3-+ flip-+
548×frac-add
288×frac-sub
220×frac-times
103×*-un-lft-identity
55×times-frac
49×associate-*l/
38×add-sqr-sqrt
35×distribute-lft-out
34×associate-*l*
33×add-cube-cbrt
28×unpow-prod-down cube-prod
20×add-cbrt-cube add-exp-log
12×sub-div
11×pow1
9×associate-/r*
7×prod-exp sum-cubes cbrt-unprod
6×associate-*r* add-log-exp associate-/l/
4×pow-prod-down associate-/r/
3×distribute-rgt-in cbrt-undiv distribute-lft-in div-exp associate-/l*
2×associate--l+ *-commutative div-inv associate--r+ unswap-sqr
1×clear-num sub-neg frac-2neg flip3-- distribute-rgt-out-- diff-log flip--
Counts
4 → 459
Calls
4 calls:
24.5s
(* (* (/ (+ (* (* (* x x) (* x x)) (+ (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) (* 0.0005064034 (* (* x x) (* x x)))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1.0))) (+ (pow 1.0 3) (pow (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442))) 3))) (+ (* 1.0 1.0) (- (* (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442)))) (* 1.0 (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442))))))) x)
1.2s
(- (* (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442)))) (* 1.0 (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442)))))
17.1s
(/ (+ (* (* (* x x) (* x x)) (+ (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) (* 0.0005064034 (* (* x x) (* x x)))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1.0))) (+ (pow 1.0 3) (pow (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442))) 3)))
24.4s
(* (/ (+ (* (* (* x x) (* x x)) (+ (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) (* 0.0005064034 (* (* x x) (* x x)))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1.0))) (+ (pow 1.0 3) (pow (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442))) 3))) (+ (* 1.0 1.0) (- (* (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442)))) (* 1.0 (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442)))))))

series2.3s

Counts
4 → 12
Calls
4 calls:
886.0ms
(* (* (/ (+ (* (* (* x x) (* x x)) (+ (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) (* 0.0005064034 (* (* x x) (* x x)))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1.0))) (+ (pow 1.0 3) (pow (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442))) 3))) (+ (* 1.0 1.0) (- (* (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442)))) (* 1.0 (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442))))))) x)
233.0ms
(- (* (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442)))) (* 1.0 (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442)))))
474.0ms
(/ (+ (* (* (* x x) (* x x)) (+ (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) (* 0.0005064034 (* (* x x) (* x x)))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1.0))) (+ (pow 1.0 3) (pow (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442))) 3)))
690.0ms
(* (/ (+ (* (* (* x x) (* x x)) (+ (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) (* 0.0005064034 (* (* x x) (* x x)))) 0.0424060604)) (+ (* (* x x) 0.1049934947) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1.0))) (+ (pow 1.0 3) (pow (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442))) 3))) (+ (* 1.0 1.0) (- (* (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442)))) (* 1.0 (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) (* 0.0694555761 (* (* x x) (* x x)))) 0.7715471019)) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (+ 0.0008327945 (* 0.0001789971 (* (* x x) 2.0)))) 0.0140005442)))))))

simplify7.8s

Counts
471 → 471
Iterations
IterNodes
done5000
01542

prune9.6s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (/ 0.15298196345929327 (pow x 5)) (/ 0.2514179000665375 (* x (* x x))))
0.1b
(* x (* x x))
0.2b
(/ 0.15298196345929327 (pow x 5))
0.3b
(/ 0.2514179000665375 (* x (* x x)))

rewrite75.0ms

Algorithm
rewrite-expression-head
Rules
25×*-un-lft-identity
24×add-sqr-sqrt times-frac
23×add-exp-log add-cube-cbrt
20×add-cbrt-cube
18×pow1
12×unpow-prod-down
8×associate-/r*
6×div-exp prod-exp cbrt-unprod associate-/l* add-log-exp
5×pow-prod-up
4×cbrt-undiv sqr-pow
3×associate-*l* pow-prod-down
2×clear-num frac-2neg div-inv
1×pow2 pow-to-exp +-commutative sum-log flip3-+ pow-plus cube-unmult associate-*r* frac-add pow-exp pow-sqr *-commutative flip-+ distribute-lft-out unswap-sqr
Counts
4 → 105
Calls
4 calls:
35.0ms
(+ (/ 0.15298196345929327 (pow x 5)) (/ 0.2514179000665375 (* x (* x x))))
13.0ms
(* x (* x x))
6.0ms
(/ 0.15298196345929327 (pow x 5))
18.0ms
(/ 0.2514179000665375 (* x (* x x)))

series263.0ms

Counts
4 → 12
Calls
4 calls:
135.0ms
(+ (/ 0.15298196345929327 (pow x 5)) (/ 0.2514179000665375 (* x (* x x))))
34.0ms
(* x (* x x))
55.0ms
(/ 0.15298196345929327 (pow x 5))
40.0ms
(/ 0.2514179000665375 (* x (* x x)))

simplify931.0ms

Counts
117 → 117
Iterations
IterNodes
done5000
22113
1410
0174

prune336.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes59.0ms

Accuracy

100% (0.0b remaining)

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

bsearch349.0ms

Steps
ItersRangePoint
3
261980.93535209994
383123.6636286385
269399.4827619773
10
-83422883652835.42
-0.9341403346610884
-494979.7223862839

simplify43.0ms

Iterations
IterNodes
done102
1102
068

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.7s8000×body80valid