Details

Time bar (total: 4.5m)

sample97.0ms

Algorithm
intervals
Results
67.0ms256×body80valid

simplify2.2s

Counts
1 → 1
Iterations
IterNodes
done5000
31993
2508
1134
044

prune34.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 29.4b

localize116.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 0.0005064034 (* (* x x) (* (* x x) (* x x))))
0.2b
(* (* (* x x) (* (* x x) (* x x))) 0.0001789971)
13.8b
(* (/ (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0140005442 (* (* x x) (+ 0.0008327945 (* (* (* x x) 2) 0.0001789971))))) (+ (* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019)) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))) x)
29.3b
(/ (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0140005442 (* (* x x) (+ 0.0008327945 (* (* (* x x) 2) 0.0001789971))))) (+ (* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019)) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))

rewrite49.5s

Algorithm
rewrite-expression-head
Rules
117×add-cbrt-cube add-exp-log
112×pow1
86×prod-exp cbrt-unprod
85×pow-prod-down
60×frac-add associate-*r/
51×flip3-+ flip-+
31×associate-*l*
28×associate-/r/
27×add-sqr-sqrt
22×*-un-lft-identity add-cube-cbrt
19×times-frac
14×associate-/l/
7×associate-*r*
4×insert-posit16 add-log-exp
3×associate-/r* *-commutative associate-/l*
2×cbrt-undiv div-exp div-inv unswap-sqr
1×clear-num frac-2neg associate-*l/
Counts
4 → 195
Calls
4 calls:
434.0ms
(* 0.0005064034 (* (* x x) (* (* x x) (* x x))))
616.0ms
(* (* (* x x) (* (* x x) (* x x))) 0.0001789971)
28.7s
(* (/ (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0140005442 (* (* x x) (+ 0.0008327945 (* (* (* x x) 2) 0.0001789971))))) (+ (* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019)) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))) x)
19.7s
(/ (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0140005442 (* (* x x) (+ 0.0008327945 (* (* (* x x) 2) 0.0001789971))))) (+ (* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019)) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))

series776.0ms

Counts
4 → 12
Calls
4 calls:
57.0ms
(* 0.0005064034 (* (* x x) (* (* x x) (* x x))))
73.0ms
(* (* (* x x) (* (* x x) (* x x))) 0.0001789971)
353.0ms
(* (/ (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0140005442 (* (* x x) (+ 0.0008327945 (* (* (* x x) 2) 0.0001789971))))) (+ (* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019)) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))) x)
294.0ms
(/ (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0140005442 (* (* x x) (+ 0.0008327945 (* (* (* x x) 2) 0.0001789971))))) (+ (* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019)) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))

simplify4.2s

Counts
207 → 207
Iterations
IterNodes
done5001
11717
0480

prune2.2s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize140.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 0.0005064034 (* (* x x) (* (* x x) (* x x))))
0.2b
(* (* (* x x) (* (* x x) (* x x))) 0.0001789971)
13.8b
(* (* (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1))) (/ 1 (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0140005442 (* (* x x) (+ 0.0008327945 (* (* (* x x) 2) 0.0001789971))))) (+ (* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019)) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))) x)
29.2b
(* (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1))) (/ 1 (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0140005442 (* (* x x) (+ 0.0008327945 (* (* (* x x) 2) 0.0001789971))))) (+ (* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019)) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))))

rewrite58.9s

Algorithm
rewrite-expression-head
Rules
134×add-exp-log
124×add-cbrt-cube
117×pow1
102×associate-*r/
100×frac-add
97×prod-exp
91×cbrt-unprod
88×pow-prod-down
85×flip3-+ flip-+
58×associate-*l/
34×associate-*r*
28×frac-times
22×add-sqr-sqrt
16×*-un-lft-identity
15×add-cube-cbrt
14×associate-/r/
11×times-frac
8×associate-*l*
4×div-exp *-commutative insert-posit16 add-log-exp
3×unswap-sqr
2×cbrt-undiv rec-exp 1-exp un-div-inv
1×div-inv
Counts
4 → 224
Calls
4 calls:
435.0ms
(* 0.0005064034 (* (* x x) (* (* x x) (* x x))))
533.0ms
(* (* (* x x) (* (* x x) (* x x))) 0.0001789971)
29.0s
(* (* (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1))) (/ 1 (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0140005442 (* (* x x) (+ 0.0008327945 (* (* (* x x) 2) 0.0001789971))))) (+ (* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019)) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))) x)
28.8s
(* (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1))) (/ 1 (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0140005442 (* (* x x) (+ 0.0008327945 (* (* (* x x) 2) 0.0001789971))))) (+ (* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019)) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))))

series787.0ms

Counts
4 → 12
Calls
4 calls:
70.0ms
(* 0.0005064034 (* (* x x) (* (* x x) (* x x))))
93.0ms
(* (* (* x x) (* (* x x) (* x x))) 0.0001789971)
352.0ms
(* (* (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1))) (/ 1 (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0140005442 (* (* x x) (+ 0.0008327945 (* (* (* x x) 2) 0.0001789971))))) (+ (* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019)) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))) x)
272.0ms
(* (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1))) (/ 1 (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0140005442 (* (* x x) (+ 0.0008327945 (* (* (* x x) 2) 0.0001789971))))) (+ (* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019)) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))))

simplify6.1s

Counts
236 → 236
Iterations
IterNodes
done5002
12252
0606

prune2.8s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize113.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 0.0005064034 (* (* x x) (* (* x x) (* x x))))
0.2b
(* (* (* x x) (* (* x x) (* x x))) 0.0001789971)
0.4b
(/ x (+ (+ (+ 1 (* (* (* x x) (* x x)) 0.2909738639)) (* (* x x) (+ 0.7715471019 (* (* (* x x) (* x x)) 0.0694555761)))) (* (+ 0.0140005442 (* (+ (* 0.0001789971 (* 2 (* x x))) 0.0008327945) (* x x))) (* (* (* x x) (* x x)) (* (* x x) (* x x))))))
29.0b
(* (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1))) (/ x (+ (+ (+ 1 (* (* (* x x) (* x x)) 0.2909738639)) (* (* x x) (+ 0.7715471019 (* (* (* x x) (* x x)) 0.0694555761)))) (* (+ 0.0140005442 (* (+ (* 0.0001789971 (* 2 (* x x))) 0.0008327945) (* x x))) (* (* (* x x) (* x x)) (* (* x x) (* x x)))))))

rewrite22.5s

Algorithm
rewrite-expression-head
Rules
117×add-cbrt-cube add-exp-log
112×pow1
86×prod-exp cbrt-unprod
85×pow-prod-down
80×frac-add
68×flip3-+ flip-+
57×associate-*r/
38×associate-*l/
31×associate-*r*
28×associate-/r/
27×add-sqr-sqrt
22×*-un-lft-identity add-cube-cbrt
19×times-frac
14×frac-times
7×associate-*l*
4×insert-posit16 add-log-exp
3×associate-/r* *-commutative associate-/l*
2×cbrt-undiv div-exp div-inv unswap-sqr
1×clear-num frac-2neg
Counts
4 → 209
Calls
4 calls:
483.0ms
(* 0.0005064034 (* (* x x) (* (* x x) (* x x))))
459.0ms
(* (* (* x x) (* (* x x) (* x x))) 0.0001789971)
204.0ms
(/ x (+ (+ (+ 1 (* (* (* x x) (* x x)) 0.2909738639)) (* (* x x) (+ 0.7715471019 (* (* (* x x) (* x x)) 0.0694555761)))) (* (+ 0.0140005442 (* (+ (* 0.0001789971 (* 2 (* x x))) 0.0008327945) (* x x))) (* (* (* x x) (* x x)) (* (* x x) (* x x))))))
21.3s
(* (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1))) (/ x (+ (+ (+ 1 (* (* (* x x) (* x x)) 0.2909738639)) (* (* x x) (+ 0.7715471019 (* (* (* x x) (* x x)) 0.0694555761)))) (* (+ 0.0140005442 (* (+ (* 0.0001789971 (* 2 (* x x))) 0.0008327945) (* x x))) (* (* (* x x) (* x x)) (* (* x x) (* x x)))))))

series806.0ms

Counts
4 → 12
Calls
4 calls:
56.0ms
(* 0.0005064034 (* (* x x) (* (* x x) (* x x))))
97.0ms
(* (* (* x x) (* (* x x) (* x x))) 0.0001789971)
284.0ms
(/ x (+ (+ (+ 1 (* (* (* x x) (* x x)) 0.2909738639)) (* (* x x) (+ 0.7715471019 (* (* (* x x) (* x x)) 0.0694555761)))) (* (+ 0.0140005442 (* (+ (* 0.0001789971 (* 2 (* x x))) 0.0008327945) (* x x))) (* (* (* x x) (* x x)) (* (* x x) (* x x))))))
369.0ms
(* (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1))) (/ x (+ (+ (+ 1 (* (* (* x x) (* x x)) 0.2909738639)) (* (* x x) (+ 0.7715471019 (* (* (* x x) (* x x)) 0.0694555761)))) (* (+ 0.0140005442 (* (+ (* 0.0001789971 (* 2 (* x x))) 0.0008327945) (* x x))) (* (* (* x x) (* x x)) (* (* x x) (* x x)))))))

simplify4.7s

Counts
221 → 221
Iterations
IterNodes
done5000
12138
0569

prune2.5s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize247.0ms

Local error

Found 4 expressions with local error:

4.0b
(sqrt (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1))))
13.8b
(* (* (/ (sqrt (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1)))) 1) (/ (sqrt (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1)))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0140005442 (* (* x x) (+ 0.0008327945 (* (* (* x x) 2) 0.0001789971))))) (+ (* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019)) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))) x)
26.4b
(* (/ (sqrt (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1)))) 1) (/ (sqrt (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1)))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0140005442 (* (* x x) (+ 0.0008327945 (* (* (* x x) 2) 0.0001789971))))) (+ (* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019)) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))))
27.4b
(/ (sqrt (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1)))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0140005442 (* (* x x) (+ 0.0008327945 (* (* (* x x) 2) 0.0001789971))))) (+ (* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019)) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))

rewrite1.7m

Algorithm
rewrite-expression-head
Rules
94×add-sqr-sqrt
82×associate-*r/
80×frac-add
76×times-frac
68×flip3-+ flip-+
53×*-un-lft-identity
48×add-exp-log
47×add-cube-cbrt
44×sqrt-prod
39×associate-*r*
36×add-cbrt-cube
28×sqrt-div associate-/r/
23×associate-*l*
19×prod-exp
15×div-exp unswap-sqr
14×associate-/l/
13×cbrt-unprod
12×pow1
9×cbrt-undiv
6×associate-/l*
5×associate-*l/
4×1-exp pow-prod-down insert-posit16 add-log-exp
3×associate-/r* div-inv
2×frac-times *-commutative
1×rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2
Counts
4 → 222
Calls
4 calls:
6.7s
(sqrt (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1))))
31.6s
(* (* (/ (sqrt (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1)))) 1) (/ (sqrt (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1)))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0140005442 (* (* x x) (+ 0.0008327945 (* (* (* x x) 2) 0.0001789971))))) (+ (* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019)) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))) x)
42.8s
(* (/ (sqrt (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1)))) 1) (/ (sqrt (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1)))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0140005442 (* (* x x) (+ 0.0008327945 (* (* (* x x) 2) 0.0001789971))))) (+ (* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019)) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))))
19.8s
(/ (sqrt (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1)))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0140005442 (* (* x x) (+ 0.0008327945 (* (* (* x x) 2) 0.0001789971))))) (+ (* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019)) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))

series930.0ms

Counts
4 → 12
Calls
4 calls:
136.0ms
(sqrt (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1))))
279.0ms
(* (* (/ (sqrt (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1)))) 1) (/ (sqrt (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1)))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0140005442 (* (* x x) (+ 0.0008327945 (* (* (* x x) 2) 0.0001789971))))) (+ (* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019)) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))) x)
204.0ms
(* (/ (sqrt (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1)))) 1) (/ (sqrt (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1)))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0140005442 (* (* x x) (+ 0.0008327945 (* (* (* x x) 2) 0.0001789971))))) (+ (* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019)) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))))
309.0ms
(/ (sqrt (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1)))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0140005442 (* (* x x) (+ 0.0008327945 (* (* (* x x) 2) 0.0001789971))))) (+ (* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019)) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))

simplify3.1s

Counts
234 → 234
Iterations
IterNodes
done5003
12193
0612

prune2.2s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes55.0ms

Accuracy

100% (0.0b remaining)

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

bsearch358.0ms

Steps
ItersRangePoint
8
29.100869698027953
73049.03827748532
664.282438900976
6
-4607476146472.435
-343836526097.91516
-1883270222249.2485

simplify24.0ms

Iterations
IterNodes
done94
194
060

end0.0ms

sample1.7s

Algorithm
intervals
Results
1.6s8000×body80valid