Details

Time bar (total: 1.2m)

sample164.0ms

Algorithm
intervals
Results
117.0ms256×body80valid

simplify1.0s

Counts
1 → 1
Iterations
IterNodes
32584
2567
1132
044

prune43.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.1b

localize173.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
0.3b
(* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
15.2b
(* (/ (+ (+ (+ (+ (+ 1 (* 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.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.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
30.1b
(/ (+ (+ (+ (+ (+ 1 (* 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.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.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))

rewrite28.6s

Algorithm
rewrite-expression-head
Rules
293×add-cbrt-cube add-exp-log
288×pow1
238×prod-exp cbrt-unprod
237×pow-prod-down
27×add-sqr-sqrt
22×*-un-lft-identity add-cube-cbrt
21×associate-*l*
19×times-frac
5×associate-*r*
4×expm1-log1p-u associate-/r/ insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r* flip3-+ *-commutative flip-+ associate-/l*
2×cbrt-undiv div-exp div-inv unswap-sqr associate-/l/
1×clear-num frac-2neg associate-*l/
Counts
4 → 239
Calls
4 calls:
1.2s
(* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
1.1s
(* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
17.0s
(* (/ (+ (+ (+ (+ (+ 1 (* 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.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.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
9.2s
(/ (+ (+ (+ (+ (+ 1 (* 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.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.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))

series941.0ms

Counts
4 → 12
Calls
4 calls:
94.0ms
(* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
74.0ms
(* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
444.0ms
(* (/ (+ (+ (+ (+ (+ 1 (* 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.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.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
329.0ms
(/ (+ (+ (+ (+ (+ 1 (* 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.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.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))

simplify3.2s

Counts
251 → 251
Iterations
IterNodes
24335
11152
0396

prune7.1s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize162.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* x x) (* x x))
0.1b
(* (* x x) (* x x))
15.2b
(* (/ 1 (/ (fma (* 2 0.0001789971) (* (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) (* x x)) (* x x))) (fma 0.0008327945 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* x x))) (+ (fma 0.2909738639 (* (* x x) (* x x)) (fma 0.7715471019 (* x x) 1)) (fma 0.0694555761 (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) 0.0140005442)))))) (fma 0.0001789971 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* x x))) (fma (* 0.0005064034 (* (* (* x x) (* x x)) (* x x))) (* x x) (fma 0.0072644182 (* (* (* x x) (* x x)) (* x x)) (fma (* (* x x) (* x x)) 0.0424060604 (fma (* x x) 0.1049934947 1))))))) x)
26.6b
(/ (fma (* 2 0.0001789971) (* (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) (* x x)) (* x x))) (fma 0.0008327945 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* x x))) (+ (fma 0.2909738639 (* (* x x) (* x x)) (fma 0.7715471019 (* x x) 1)) (fma 0.0694555761 (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) 0.0140005442)))))) (fma 0.0001789971 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* x x))) (fma (* 0.0005064034 (* (* (* x x) (* x x)) (* x x))) (* x x) (fma 0.0072644182 (* (* (* x x) (* x x)) (* x x)) (fma (* (* x x) (* x x)) 0.0424060604 (fma (* x x) 0.1049934947 1))))))

rewrite132.0ms

Algorithm
rewrite-expression-head
Rules
228×pow1
81×times-frac
72×pow-prod-up
62×add-sqr-sqrt
50×*-un-lft-identity
49×add-exp-log
48×add-cube-cbrt
47×pow-prod-down
46×associate-*l*
44×pow-sqr
39×add-cbrt-cube
36×pow-plus
26×pow2
23×prod-exp
19×cbrt-unprod
8×div-exp
7×unswap-sqr
5×associate-*r* div-inv
4×expm1-log1p-u cbrt-undiv insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r* *-commutative associate-/l*
2×rec-exp 1-exp swap-sqr
1×clear-num frac-2neg associate-*l/ associate-/r/
Counts
4 → 237
Calls
4 calls:
29.0ms
(* (* x x) (* x x))
47.0ms
(* (* x x) (* x x))
40.0ms
(* (/ 1 (/ (fma (* 2 0.0001789971) (* (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) (* x x)) (* x x))) (fma 0.0008327945 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* x x))) (+ (fma 0.2909738639 (* (* x x) (* x x)) (fma 0.7715471019 (* x x) 1)) (fma 0.0694555761 (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) 0.0140005442)))))) (fma 0.0001789971 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* x x))) (fma (* 0.0005064034 (* (* (* x x) (* x x)) (* x x))) (* x x) (fma 0.0072644182 (* (* (* x x) (* x x)) (* x x)) (fma (* (* x x) (* x x)) 0.0424060604 (fma (* x x) 0.1049934947 1))))))) x)
9.0ms
(/ (fma (* 2 0.0001789971) (* (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) (* x x)) (* x x))) (fma 0.0008327945 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* x x))) (+ (fma 0.2909738639 (* (* x x) (* x x)) (fma 0.7715471019 (* x x) 1)) (fma 0.0694555761 (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) 0.0140005442)))))) (fma 0.0001789971 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* x x))) (fma (* 0.0005064034 (* (* (* x x) (* x x)) (* x x))) (* x x) (fma 0.0072644182 (* (* (* x x) (* x x)) (* x x)) (fma (* (* x x) (* x x)) 0.0424060604 (fma (* x x) 0.1049934947 1))))))

series851.0ms

Counts
4 → 12
Calls
4 calls:
61.0ms
(* (* x x) (* x x))
52.0ms
(* (* x x) (* x x))
425.0ms
(* (/ 1 (/ (fma (* 2 0.0001789971) (* (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) (* x x)) (* x x))) (fma 0.0008327945 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* x x))) (+ (fma 0.2909738639 (* (* x x) (* x x)) (fma 0.7715471019 (* x x) 1)) (fma 0.0694555761 (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) 0.0140005442)))))) (fma 0.0001789971 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* x x))) (fma (* 0.0005064034 (* (* (* x x) (* x x)) (* x x))) (* x x) (fma 0.0072644182 (* (* (* x x) (* x x)) (* x x)) (fma (* (* x x) (* x x)) 0.0424060604 (fma (* x x) 0.1049934947 1))))))) x)
313.0ms
(/ (fma (* 2 0.0001789971) (* (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) (* x x)) (* x x))) (fma 0.0008327945 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* x x))) (+ (fma 0.2909738639 (* (* x x) (* x x)) (fma 0.7715471019 (* x x) 1)) (fma 0.0694555761 (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) 0.0140005442)))))) (fma 0.0001789971 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* x x))) (fma (* 0.0005064034 (* (* (* x x) (* x x)) (* x x))) (* x x) (fma 0.0072644182 (* (* (* x x) (* x x)) (* x x)) (fma (* (* x x) (* x x)) 0.0424060604 (fma (* x x) 0.1049934947 1))))))

simplify2.2s

Counts
249 → 249
Iterations
IterNodes
22136
1677
0282

prune7.1s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize166.0ms

Local error

Found 4 expressions with local error:

4.2b
(sqrt (fma 0.0001789971 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* x x))) (fma (* 0.0005064034 (* (* (* x x) (* x x)) (* x x))) (* x x) (fma 0.0072644182 (* (* (* x x) (* x x)) (* x x)) (fma (* (* x x) (* x x)) 0.0424060604 (fma (* x x) 0.1049934947 1))))))
4.2b
(sqrt (fma 0.0001789971 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* x x))) (fma (* 0.0005064034 (* (* (* x x) (* x x)) (* x x))) (* x x) (fma 0.0072644182 (* (* (* x x) (* x x)) (* x x)) (fma (* (* x x) (* x x)) 0.0424060604 (fma (* x x) 0.1049934947 1))))))
23.2b
(/ (fma (* 2 0.0001789971) (* (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) (* x x)) (* x x))) (fma 0.0008327945 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* x x))) (+ (fma 0.2909738639 (* (* x x) (* x x)) (fma 0.7715471019 (* x x) 1)) (fma 0.0694555761 (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) 0.0140005442)))))) (sqrt (fma 0.0001789971 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* x x))) (fma (* 0.0005064034 (* (* (* x x) (* x x)) (* x x))) (* x x) (fma 0.0072644182 (* (* (* x x) (* x x)) (* x x)) (fma (* (* x x) (* x x)) 0.0424060604 (fma (* x x) 0.1049934947 1)))))))
26.1b
(* (/ 1 (/ 1 (sqrt (fma 0.0001789971 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* x x))) (fma (* 0.0005064034 (* (* (* x x) (* x x)) (* x x))) (* x x) (fma 0.0072644182 (* (* (* x x) (* x x)) (* x x)) (fma (* (* x x) (* x x)) 0.0424060604 (fma (* x x) 0.1049934947 1)))))))) (* (/ 1 (/ (fma (* 2 0.0001789971) (* (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) (* x x)) (* x x))) (fma 0.0008327945 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* x x))) (+ (fma 0.2909738639 (* (* x x) (* x x)) (fma 0.7715471019 (* x x) 1)) (fma 0.0694555761 (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) 0.0140005442)))))) (sqrt (fma 0.0001789971 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* x x))) (fma (* 0.0005064034 (* (* (* x x) (* x x)) (* x x))) (* x x) (fma 0.0072644182 (* (* (* x x) (* x x)) (* x x)) (fma (* (* x x) (* x x)) 0.0424060604 (fma (* x x) 0.1049934947 1)))))))) x))

rewrite109.0ms

Algorithm
rewrite-expression-head
Rules
426×add-exp-log
204×div-exp
195×prod-exp
138×times-frac
85×add-sqr-sqrt
83×*-un-lft-identity add-cube-cbrt
82×rec-exp 1-exp
71×associate-*l*
60×add-cbrt-cube
45×sqrt-prod
22×cbrt-undiv
21×cbrt-unprod
11×pow1
6×associate-/r*
5×div-inv
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow-prod-down associate-*l/ associate-/l*
2×rem-sqrt-square sqrt-pow1 pow1/2
1×frac-times clear-num frac-2neg associate-*r* associate-*r/ associate-/r/ *-commutative
Counts
4 → 278
Calls
4 calls:
2.0ms
(sqrt (fma 0.0001789971 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* x x))) (fma (* 0.0005064034 (* (* (* x x) (* x x)) (* x x))) (* x x) (fma 0.0072644182 (* (* (* x x) (* x x)) (* x x)) (fma (* (* x x) (* x x)) 0.0424060604 (fma (* x x) 0.1049934947 1))))))
2.0ms
(sqrt (fma 0.0001789971 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* x x))) (fma (* 0.0005064034 (* (* (* x x) (* x x)) (* x x))) (* x x) (fma 0.0072644182 (* (* (* x x) (* x x)) (* x x)) (fma (* (* x x) (* x x)) 0.0424060604 (fma (* x x) 0.1049934947 1))))))
10.0ms
(/ (fma (* 2 0.0001789971) (* (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) (* x x)) (* x x))) (fma 0.0008327945 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* x x))) (+ (fma 0.2909738639 (* (* x x) (* x x)) (fma 0.7715471019 (* x x) 1)) (fma 0.0694555761 (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) 0.0140005442)))))) (sqrt (fma 0.0001789971 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* x x))) (fma (* 0.0005064034 (* (* (* x x) (* x x)) (* x x))) (* x x) (fma 0.0072644182 (* (* (* x x) (* x x)) (* x x)) (fma (* (* x x) (* x x)) 0.0424060604 (fma (* x x) 0.1049934947 1)))))))
81.0ms
(* (/ 1 (/ 1 (sqrt (fma 0.0001789971 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* x x))) (fma (* 0.0005064034 (* (* (* x x) (* x x)) (* x x))) (* x x) (fma 0.0072644182 (* (* (* x x) (* x x)) (* x x)) (fma (* (* x x) (* x x)) 0.0424060604 (fma (* x x) 0.1049934947 1)))))))) (* (/ 1 (/ (fma (* 2 0.0001789971) (* (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) (* x x)) (* x x))) (fma 0.0008327945 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* x x))) (+ (fma 0.2909738639 (* (* x x) (* x x)) (fma 0.7715471019 (* x x) 1)) (fma 0.0694555761 (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) 0.0140005442)))))) (sqrt (fma 0.0001789971 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* x x))) (fma (* 0.0005064034 (* (* (* x x) (* x x)) (* x x))) (* x x) (fma 0.0072644182 (* (* (* x x) (* x x)) (* x x)) (fma (* (* x x) (* x x)) 0.0424060604 (fma (* x x) 0.1049934947 1)))))))) x))

series1.3s

Counts
4 → 12
Calls
4 calls:
178.0ms
(sqrt (fma 0.0001789971 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* x x))) (fma (* 0.0005064034 (* (* (* x x) (* x x)) (* x x))) (* x x) (fma 0.0072644182 (* (* (* x x) (* x x)) (* x x)) (fma (* (* x x) (* x x)) 0.0424060604 (fma (* x x) 0.1049934947 1))))))
243.0ms
(sqrt (fma 0.0001789971 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* x x))) (fma (* 0.0005064034 (* (* (* x x) (* x x)) (* x x))) (* x x) (fma 0.0072644182 (* (* (* x x) (* x x)) (* x x)) (fma (* (* x x) (* x x)) 0.0424060604 (fma (* x x) 0.1049934947 1))))))
527.0ms
(/ (fma (* 2 0.0001789971) (* (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) (* x x)) (* x x))) (fma 0.0008327945 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* x x))) (+ (fma 0.2909738639 (* (* x x) (* x x)) (fma 0.7715471019 (* x x) 1)) (fma 0.0694555761 (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) 0.0140005442)))))) (sqrt (fma 0.0001789971 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* x x))) (fma (* 0.0005064034 (* (* (* x x) (* x x)) (* x x))) (* x x) (fma 0.0072644182 (* (* (* x x) (* x x)) (* x x)) (fma (* (* x x) (* x x)) 0.0424060604 (fma (* x x) 0.1049934947 1)))))))
357.0ms
(* (/ 1 (/ 1 (sqrt (fma 0.0001789971 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* x x))) (fma (* 0.0005064034 (* (* (* x x) (* x x)) (* x x))) (* x x) (fma 0.0072644182 (* (* (* x x) (* x x)) (* x x)) (fma (* (* x x) (* x x)) 0.0424060604 (fma (* x x) 0.1049934947 1)))))))) (* (/ 1 (/ (fma (* 2 0.0001789971) (* (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) (* x x)) (* x x))) (fma 0.0008327945 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* x x))) (+ (fma 0.2909738639 (* (* x x) (* x x)) (fma 0.7715471019 (* x x) 1)) (fma 0.0694555761 (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) 0.0140005442)))))) (sqrt (fma 0.0001789971 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* x x))) (fma (* 0.0005064034 (* (* (* x x) (* x x)) (* x x))) (* x x) (fma 0.0072644182 (* (* (* x x) (* x x)) (* x x)) (fma (* (* x x) (* x x)) 0.0424060604 (fma (* x x) 0.1049934947 1)))))))) x))

simplify3.5s

Counts
290 → 290
Iterations
IterNodes
23072
11186
0477

prune9.1s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize48.0ms

Local error

Found 4 expressions with local error:

0.1b
(* x (* x x))
0.1b
(* (* x x) (* x x))
0.2b
(/ 0.15298196345929327 (* x (* (* x x) (* x x))))
0.5b
(/ 0.2514179000665375 (* x (* x x)))

rewrite173.0ms

Algorithm
rewrite-expression-head
Rules
129×pow1
55×add-cbrt-cube add-exp-log
41×pow-prod-up
27×prod-exp cbrt-unprod
26×pow-prod-down
23×pow-sqr
19×pow-plus
14×pow2
10×add-sqr-sqrt
9×cbrt-undiv *-un-lft-identity div-exp add-cube-cbrt
6×times-frac associate-/l*
4×expm1-log1p-u associate-*l* insert-posit16 log1p-expm1-u add-log-exp
2×clear-num associate-/r* frac-2neg associate-*r* *-commutative div-inv unswap-sqr
1×cube-unmult swap-sqr
Counts
4 → 151
Calls
4 calls:
14.0ms
(* x (* x x))
28.0ms
(* (* x x) (* x x))
98.0ms
(/ 0.15298196345929327 (* x (* (* x x) (* x x))))
31.0ms
(/ 0.2514179000665375 (* x (* x x)))

series238.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(* x (* x x))
51.0ms
(* (* x x) (* x x))
78.0ms
(/ 0.15298196345929327 (* x (* (* x x) (* x x))))
57.0ms
(/ 0.2514179000665375 (* x (* x x)))

simplify1.8s

Counts
163 → 163
Iterations
IterNodes
34037
2938
1377
0167

prune1.4s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes73.0ms

Accuracy

100% (0.0b remaining)

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

bsearch631.0ms

Steps
ItersRangePoint
7
15.597049771107491
3862.7483140020904
703.9779091836432
10
-1231591086050.0088
-0.0006858147917088189
-271332156.4845337

simplify56.0ms

Iterations
IterNodes
272
172
056

end0.0ms

sample3.8s

Algorithm
intervals
Results
3.7s8000×body80valid