Details

Time bar (total: 53.6s)

sample127.0ms

Algorithm
intervals
Results
103.0ms256×body80valid

simplify1.0s

Counts
1 → 1
Iterations
IterNodes
32584
2567
1132
044

prune46.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 31.4b

localize153.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* x x) 0.0140005442)
0.6b
(* (* x x) 0.0001789971)
16.7b
(* (/ (fma (* (* x x) 0.0001789971) (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0005064034 (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) (* (* (* x x) (* x x)) 0.0072644182) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1))))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (* 0.0008327945 (* (* x x) (* x x))) (fma (* (* x x) (* (* x x) (* x x))) (* (* x x) 0.0140005442) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1))))))) x)
31.3b
(/ (fma (* (* x x) 0.0001789971) (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0005064034 (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) (* (* (* x x) (* x x)) 0.0072644182) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1))))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (* 0.0008327945 (* (* x x) (* x x))) (fma (* (* x x) (* (* x x) (* x x))) (* (* x x) 0.0140005442) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1)))))))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
22×*-un-lft-identity add-cube-cbrt
21×add-cbrt-cube add-exp-log
19×times-frac
16×pow1
15×associate-*l*
9×associate-*r*
8×prod-exp cbrt-unprod
7×pow-prod-down
4×expm1-log1p-u log1p-expm1-u 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 → 105
Calls
4 calls:
13.0ms
(* (* x x) 0.0140005442)
17.0ms
(* (* x x) 0.0001789971)
16.0ms
(* (/ (fma (* (* x x) 0.0001789971) (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0005064034 (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) (* (* (* x x) (* x x)) 0.0072644182) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1))))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (* 0.0008327945 (* (* x x) (* x x))) (fma (* (* x x) (* (* x x) (* x x))) (* (* x x) 0.0140005442) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1))))))) x)
7.0ms
(/ (fma (* (* x x) 0.0001789971) (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0005064034 (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) (* (* (* x x) (* x x)) 0.0072644182) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1))))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (* 0.0008327945 (* (* x x) (* x x))) (fma (* (* x x) (* (* x x) (* x x))) (* (* x x) 0.0140005442) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1)))))))

series827.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(* (* x x) 0.0140005442)
30.0ms
(* (* x x) 0.0001789971)
442.0ms
(* (/ (fma (* (* x x) 0.0001789971) (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0005064034 (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) (* (* (* x x) (* x x)) 0.0072644182) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1))))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (* 0.0008327945 (* (* x x) (* x x))) (fma (* (* x x) (* (* x x) (* x x))) (* (* x x) 0.0140005442) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1))))))) x)
324.0ms
(/ (fma (* (* x x) 0.0001789971) (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0005064034 (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) (* (* (* x x) (* x x)) 0.0072644182) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1))))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (* 0.0008327945 (* (* x x) (* x x))) (fma (* (* x x) (* (* x x) (* x x))) (* (* x x) 0.0140005442) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1)))))))

simplify6.3s

Counts
117 → 117
Iterations
IterNodes
35037
21412
1493
0209

prune3.2s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.1b
(* x (* x x))
0.1b
(/ (/ 0.2514179000665375 x) (* x x))
0.1b
(/ (/ 0.15298196345929327 (* x x)) (* x (* x x)))
0.7b
(/ 0.15298196345929327 (* x x))

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
62×add-cbrt-cube add-exp-log
47×times-frac
26×add-sqr-sqrt
25×*-un-lft-identity add-cube-cbrt
23×cbrt-undiv div-exp associate-/l*
18×pow1 prod-exp cbrt-unprod
7×div-inv
5×pow-prod-up
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×clear-num associate-/r* frac-2neg associate-*l* pow-prod-down
2×associate-/l/
1×pow2 pow-plus cube-unmult associate-*r* pow-sqr *-commutative unswap-sqr
Counts
4 → 143
Calls
4 calls:
27.0ms
(* x (* x x))
16.0ms
(/ (/ 0.2514179000665375 x) (* x x))
21.0ms
(/ (/ 0.15298196345929327 (* x x)) (* x (* x x)))
6.0ms
(/ 0.15298196345929327 (* x x))

series227.0ms

Counts
4 → 12
Calls
4 calls:
53.0ms
(* x (* x x))
46.0ms
(/ (/ 0.2514179000665375 x) (* x x))
80.0ms
(/ (/ 0.15298196345929327 (* x x)) (* x (* x x)))
48.0ms
(/ 0.15298196345929327 (* x x))

simplify13.3s

Counts
155 → 155
Iterations
IterNodes
315040
21830
1513
0211

prune1.4s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize152.0ms

Local error

Found 4 expressions with local error:

0.1b
(* x (* x 0.0001789971))
0.3b
(* (* x x) 0.0140005442)
16.7b
(* (/ (fma (* x (* x 0.0001789971)) (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0005064034 (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) (* (* (* x x) (* x x)) 0.0072644182) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1))))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (* 0.0008327945 (* (* x x) (* x x))) (fma (* (* x x) (* (* x x) (* x x))) (* (* x x) 0.0140005442) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1))))))) x)
31.3b
(/ (fma (* x (* x 0.0001789971)) (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0005064034 (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) (* (* (* x x) (* x x)) 0.0072644182) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1))))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (* 0.0008327945 (* (* x x) (* x x))) (fma (* (* x x) (* (* x x) (* x x))) (* (* x x) 0.0140005442) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1)))))))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
22×*-un-lft-identity add-cube-cbrt
21×add-cbrt-cube add-exp-log
19×times-frac
17×associate-*l*
16×pow1
8×prod-exp cbrt-unprod
7×associate-*r* pow-prod-down
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-/r* *-commutative associate-/l* unswap-sqr
2×cbrt-undiv div-exp div-inv
1×clear-num frac-2neg associate-*l/
Counts
4 → 104
Calls
4 calls:
11.0ms
(* x (* x 0.0001789971))
12.0ms
(* (* x x) 0.0140005442)
15.0ms
(* (/ (fma (* x (* x 0.0001789971)) (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0005064034 (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) (* (* (* x x) (* x x)) 0.0072644182) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1))))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (* 0.0008327945 (* (* x x) (* x x))) (fma (* (* x x) (* (* x x) (* x x))) (* (* x x) 0.0140005442) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1))))))) x)
7.0ms
(/ (fma (* x (* x 0.0001789971)) (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0005064034 (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) (* (* (* x x) (* x x)) 0.0072644182) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1))))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (* 0.0008327945 (* (* x x) (* x x))) (fma (* (* x x) (* (* x x) (* x x))) (* (* x x) 0.0140005442) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1)))))))

series823.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(* x (* x 0.0001789971))
44.0ms
(* (* x x) 0.0140005442)
448.0ms
(* (/ (fma (* x (* x 0.0001789971)) (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0005064034 (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) (* (* (* x x) (* x x)) 0.0072644182) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1))))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (* 0.0008327945 (* (* x x) (* x x))) (fma (* (* x x) (* (* x x) (* x x))) (* (* x x) 0.0140005442) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1))))))) x)
300.0ms
(/ (fma (* x (* x 0.0001789971)) (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0005064034 (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) (* (* (* x x) (* x x)) 0.0072644182) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1))))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (* 0.0008327945 (* (* x x) (* x x))) (fma (* (* x x) (* (* x x) (* x x))) (* (* x x) 0.0140005442) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1)))))))

simplify8.4s

Counts
116 → 116
Iterations
IterNodes
36791
21649
1533
0210

prune3.1s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize300.0ms

Local error

Found 4 expressions with local error:

16.7b
(* (cbrt (* (* (/ (fma (* (* x x) 0.0001789971) (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0005064034 (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) (* (* (* x x) (* x x)) 0.0072644182) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1))))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (* 0.0008327945 (* (* x x) (* x x))) (fma (* (* x x) (* (* x x) (* x x))) (* (* x x) 0.0140005442) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1))))))) (/ (fma (* (* x x) 0.0001789971) (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0005064034 (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) (* (* (* x x) (* x x)) 0.0072644182) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1))))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (* 0.0008327945 (* (* x x) (* x x))) (fma (* (* x x) (* (* x x) (* x x))) (* (* x x) 0.0140005442) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1)))))))) (/ (fma (* (* x x) 0.0001789971) (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0005064034 (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) (* (* (* x x) (* x x)) 0.0072644182) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1))))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (* 0.0008327945 (* (* x x) (* x x))) (fma (* (* x x) (* (* x x) (* x x))) (* (* x x) 0.0140005442) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1))))))))) x)
31.3b
(/ (fma (* (* x x) 0.0001789971) (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0005064034 (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) (* (* (* x x) (* x x)) 0.0072644182) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1))))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (* 0.0008327945 (* (* x x) (* x x))) (fma (* (* x x) (* (* x x) (* x x))) (* (* x x) 0.0140005442) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1)))))))
31.3b
(/ (fma (* (* x x) 0.0001789971) (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0005064034 (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) (* (* (* x x) (* x x)) 0.0072644182) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1))))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (* 0.0008327945 (* (* x x) (* x x))) (fma (* (* x x) (* (* x x) (* x x))) (* (* x x) 0.0140005442) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1)))))))
31.3b
(/ (fma (* (* x x) 0.0001789971) (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0005064034 (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) (* (* (* x x) (* x x)) 0.0072644182) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1))))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (* 0.0008327945 (* (* x x) (* x x))) (fma (* (* x x) (* (* x x) (* x x))) (* (* x x) 0.0140005442) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1)))))))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
32×add-sqr-sqrt
30×*-un-lft-identity add-cube-cbrt
27×times-frac
12×associate-*l/ add-exp-log
11×add-cbrt-cube
9×associate-/r* associate-/l*
7×cbrt-div
6×pow1
5×frac-times
4×expm1-log1p-u associate-*l* log1p-expm1-u add-log-exp
3×cbrt-undiv clear-num frac-2neg div-exp associate-*r* associate-*r/ div-inv
1×cbrt-prod pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 115
Calls
4 calls:
10.0ms
(* (cbrt (* (* (/ (fma (* (* x x) 0.0001789971) (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0005064034 (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) (* (* (* x x) (* x x)) 0.0072644182) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1))))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (* 0.0008327945 (* (* x x) (* x x))) (fma (* (* x x) (* (* x x) (* x x))) (* (* x x) 0.0140005442) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1))))))) (/ (fma (* (* x x) 0.0001789971) (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0005064034 (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) (* (* (* x x) (* x x)) 0.0072644182) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1))))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (* 0.0008327945 (* (* x x) (* x x))) (fma (* (* x x) (* (* x x) (* x x))) (* (* x x) 0.0140005442) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1)))))))) (/ (fma (* (* x x) 0.0001789971) (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0005064034 (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) (* (* (* x x) (* x x)) 0.0072644182) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1))))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (* 0.0008327945 (* (* x x) (* x x))) (fma (* (* x x) (* (* x x) (* x x))) (* (* x x) 0.0140005442) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1))))))))) x)
4.0ms
(/ (fma (* (* x x) 0.0001789971) (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0005064034 (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) (* (* (* x x) (* x x)) 0.0072644182) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1))))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (* 0.0008327945 (* (* x x) (* x x))) (fma (* (* x x) (* (* x x) (* x x))) (* (* x x) 0.0140005442) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1)))))))
3.0ms
(/ (fma (* (* x x) 0.0001789971) (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0005064034 (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) (* (* (* x x) (* x x)) 0.0072644182) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1))))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (* 0.0008327945 (* (* x x) (* x x))) (fma (* (* x x) (* (* x x) (* x x))) (* (* x x) 0.0140005442) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1)))))))
7.0ms
(/ (fma (* (* x x) 0.0001789971) (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0005064034 (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) (* (* (* x x) (* x x)) 0.0072644182) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1))))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (* 0.0008327945 (* (* x x) (* x x))) (fma (* (* x x) (* (* x x) (* x x))) (* (* x x) 0.0140005442) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1)))))))

series1.4s

Counts
4 → 12
Calls
4 calls:
457.0ms
(* (cbrt (* (* (/ (fma (* (* x x) 0.0001789971) (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0005064034 (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) (* (* (* x x) (* x x)) 0.0072644182) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1))))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (* 0.0008327945 (* (* x x) (* x x))) (fma (* (* x x) (* (* x x) (* x x))) (* (* x x) 0.0140005442) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1))))))) (/ (fma (* (* x x) 0.0001789971) (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0005064034 (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) (* (* (* x x) (* x x)) 0.0072644182) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1))))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (* 0.0008327945 (* (* x x) (* x x))) (fma (* (* x x) (* (* x x) (* x x))) (* (* x x) 0.0140005442) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1)))))))) (/ (fma (* (* x x) 0.0001789971) (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0005064034 (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) (* (* (* x x) (* x x)) 0.0072644182) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1))))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (* 0.0008327945 (* (* x x) (* x x))) (fma (* (* x x) (* (* x x) (* x x))) (* (* x x) 0.0140005442) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1))))))))) x)
350.0ms
(/ (fma (* (* x x) 0.0001789971) (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0005064034 (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) (* (* (* x x) (* x x)) 0.0072644182) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1))))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (* 0.0008327945 (* (* x x) (* x x))) (fma (* (* x x) (* (* x x) (* x x))) (* (* x x) 0.0140005442) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1)))))))
316.0ms
(/ (fma (* (* x x) 0.0001789971) (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0005064034 (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) (* (* (* x x) (* x x)) 0.0072644182) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1))))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (* 0.0008327945 (* (* x x) (* x x))) (fma (* (* x x) (* (* x x) (* x x))) (* (* x x) 0.0140005442) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1)))))))
262.0ms
(/ (fma (* (* x x) 0.0001789971) (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0005064034 (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) (* (* (* x x) (* x x)) 0.0072644182) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1))))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) (* 0.0008327945 (* (* x x) (* x x))) (fma (* (* x x) (* (* x x) (* x x))) (* (* x x) 0.0140005442) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1)))))))

simplify4.0s

Counts
127 → 127
Iterations
IterNodes
34160
2938
1342
0170

prune4.1s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes98.0ms

Accuracy

100% (0.0b remaining)

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

bsearch709.0ms

Steps
ItersRangePoint
8
0.9676876931049737
32461.898498684495
640.4757042222545
8
-426929.41805624013
-102.89153151738607
-621.4550718514375

simplify63.0ms

Iterations
IterNodes
270
170
056

end0.0ms

sample3.7s

Algorithm
intervals
Results
3.6s8000×body80valid