Details

Time bar (total: 1.8m)

sample148.0ms

Algorithm
intervals
Results
108.0ms256×body80valid

simplify891.0ms

Counts
1 → 1
Iterations
IterNodes
32293
2643
1222
044

prune53.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 27.2b

localize170.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* x x) 0.0140005442)
0.3b
(* (* x x) 0.0001789971)
13.1b
(* (/ (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971)))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1))) x)
27.1b
(/ (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971)))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1)))

rewrite5.2s

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
28×frac-add associate-*r/
27×flip3-+ flip-+
22×*-un-lft-identity add-cube-cbrt
21×add-cbrt-cube associate-*l* add-exp-log
19×times-frac
16×pow1
14×associate-/l/
12×associate-/r/
9×associate-*r*
8×prod-exp cbrt-unprod
7×pow-prod-down
4×insert-posit16 add-log-exp unswap-sqr
3×associate-/r* *-commutative associate-/l*
2×cbrt-undiv div-exp div-inv
1×clear-num frac-2neg associate-*l/
Counts
4 → 127
Calls
4 calls:
14.0ms
(* (* x x) 0.0140005442)
13.0ms
(* (* x x) 0.0001789971)
3.3s
(* (/ (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971)))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1))) x)
1.9s
(/ (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971)))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1)))

series815.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(* (* x x) 0.0140005442)
51.0ms
(* (* x x) 0.0001789971)
386.0ms
(* (/ (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971)))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1))) x)
328.0ms
(/ (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971)))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1)))

simplify5.4s

Counts
139 → 139
Iterations
IterNodes
26750
11747
0329

prune3.8s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize100.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* x x) 0.0001789971)
0.3b
(/ 1 (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1)))
0.7b
(* (/ 1 (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1))) x)
26.0b
(* (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971)))) (* (/ 1 (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1))) x))

rewrite7.8s

Algorithm
rewrite-expression-head
Rules
49×associate-*r/
48×frac-add
44×flip3-+ flip-+
37×add-exp-log
30×add-sqr-sqrt associate-*l/
25×add-cbrt-cube
23×*-un-lft-identity associate-*l*
22×add-cube-cbrt
20×times-frac
17×pow1
16×prod-exp
14×frac-times
12×associate-/r/
10×cbrt-unprod
7×associate-*r* pow-prod-down
6×div-exp
4×insert-posit16 add-log-exp unswap-sqr
3×cbrt-undiv rec-exp associate-/r* 1-exp *-commutative associate-/l*
2×div-inv
1×clear-num frac-2neg pow-flip inv-pow
Counts
4 → 152
Calls
4 calls:
26.0ms
(* (* x x) 0.0001789971)
2.0s
(/ 1 (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1)))
3.0s
(* (/ 1 (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1))) x)
2.9s
(* (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971)))) (* (/ 1 (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1))) x))

series857.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(* (* x x) 0.0001789971)
182.0ms
(/ 1 (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1)))
242.0ms
(* (/ 1 (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1))) x)
398.0ms
(* (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971)))) (* (/ 1 (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1))) x))

simplify2.5s

Counts
164 → 164
Iterations
IterNodes
12504
0457

prune4.9s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize162.0ms

Local error

Found 4 expressions with local error:

2.8b
(sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1)))
2.8b
(sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1)))
21.1b
(/ (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971)))) (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1))))
24.2b
(* (/ 1 (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1)))) (* (/ (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971)))) (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1)))) x))

rewrite10.7s

Algorithm
rewrite-expression-head
Rules
45×add-exp-log
37×flip3-+ associate-*r/ flip-+
36×add-sqr-sqrt times-frac frac-add
34×*-un-lft-identity add-cube-cbrt
28×associate-*l*
27×add-cbrt-cube sqrt-prod
24×sqrt-div
20×prod-exp
14×associate-/l/
12×associate-/r/
11×pow1 div-exp
10×cbrt-unprod
6×cbrt-undiv associate-/r*
4×insert-posit16 add-log-exp
3×rec-exp 1-exp pow-prod-down associate-*l/ associate-/l*
2×rem-sqrt-square sqrt-pow1 pow1/2 div-inv
1×frac-times clear-num frac-2neg associate-*r* *-commutative
Counts
4 → 161
Calls
4 calls:
1.5s
(sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1)))
1.6s
(sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1)))
1.8s
(/ (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971)))) (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1))))
5.8s
(* (/ 1 (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1)))) (* (/ (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971)))) (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1)))) x))

series1.6s

Counts
4 → 12
Calls
4 calls:
218.0ms
(sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1)))
169.0ms
(sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1)))
744.0ms
(/ (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971)))) (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1))))
445.0ms
(* (/ 1 (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1)))) (* (/ (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971)))) (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1)))) x))

simplify5.5s

Counts
173 → 173
Iterations
IterNodes
27022
11979
0392

prune5.6s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize229.0ms

Local error

Found 4 expressions with local error:

3.8b
(cbrt (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971)))))
13.1b
(* (/ (* (cbrt (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))))) (cbrt (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971)))))) (/ (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1)) (cbrt (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))))))) x)
19.5b
(/ (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1)) (cbrt (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))))))
25.0b
(/ (* (cbrt (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))))) (cbrt (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971)))))) (/ (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1)) (cbrt (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971)))))))

rewrite8.2s

Algorithm
rewrite-expression-head
Rules
718×associate-*r/
704×frac-add
600×flip3-+ flip-+
490×cbrt-div
230×associate-/l/
196×frac-times
149×times-frac
71×add-sqr-sqrt
61×*-un-lft-identity add-cube-cbrt
58×associate-/r/
43×cbrt-prod
42×associate-/r*
41×associate-*l*
36×add-exp-log
23×add-cbrt-cube
15×associate-*l/
13×cbrt-undiv div-exp
9×prod-exp cbrt-unprod
6×pow1 div-inv
4×insert-posit16 associate-/l* add-log-exp unswap-sqr
3×associate-*r*
2×clear-num frac-2neg
1×pow1/3 pow-prod-down *-commutative
Counts
4 → 472
Calls
4 calls:
116.0ms
(cbrt (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971)))))
3.6s
(* (/ (* (cbrt (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))))) (cbrt (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971)))))) (/ (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1)) (cbrt (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))))))) x)
2.6s
(/ (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1)) (cbrt (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))))))
2.0s
(/ (* (cbrt (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))))) (cbrt (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971)))))) (/ (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1)) (cbrt (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971)))))))

series1.8s

Counts
4 → 12
Calls
4 calls:
401.0ms
(cbrt (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971)))))
445.0ms
(* (/ (* (cbrt (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))))) (cbrt (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971)))))) (/ (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1)) (cbrt (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))))))) x)
627.0ms
(/ (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1)) (cbrt (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))))))
303.0ms
(/ (* (cbrt (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))))) (cbrt (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971)))))) (/ (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0008327945 (* x x)) (* (* (* (* x x) (* x x)) 0.0001789971) 2))) (+ (* (* x x) (+ (+ (* (* x x) 0.2909738639) 0.7715471019) (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))) 1)) (cbrt (+ (+ (+ 1 (* (* x x) 0.1049934947)) (* (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))))) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971)))))))

simplify7.2s

Counts
484 → 484
Iterations
IterNodes
15090
01017

prune27.0s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes122.0ms

Accuracy

99.9% (0.0b remaining)

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

bsearch709.0ms

Steps
ItersRangePoint
9
0.8715059566266286
7213346.136357025
632.011878180778
7
-1.3630794183219554e+26
-7.059258804317267e+24
-2.8231616492873652e+25

simplify36.0ms

Iterations
IterNodes
294
194
059

end0.0ms

sample4.0s

Algorithm
intervals
Results
3.9s8000×body80valid