Details

Time bar (total: 2.3m)

sample112.0ms

Algorithm
intervals
Results
84.0ms256×body80valid

simplify3.1s

Counts
1 → 1
Iterations

Useful iterations: done (3.1s)

IterNodesCost
0441253
11321253
26081098
334891098
done50001093

prune50.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 28.8b

localize211.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* x x) (* 2.0 0.0001789971))
0.2b
(* 0.0140005442 (* x x))
13.8b
(/ x (/ (+ (fma (* (* (* (* x x) (* x x)) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (* 2.0 0.0001789971)) 0.0008327945) 1.0) (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 (* (* (* (* x x) (* x x)) (* x x)) (+ 0.0694555761 (* 0.0140005442 (* x x))))))) (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 0.1049934947 (* x x) 1.0)))))))
25.0b
(/ (+ (fma (* (* (* (* x x) (* x x)) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (* 2.0 0.0001789971)) 0.0008327945) 1.0) (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 (* (* (* (* x x) (* x x)) (* x x)) (+ 0.0694555761 (* 0.0140005442 (* x x))))))) (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 0.1049934947 (* x x) 1.0))))))

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
108×times-frac
95×*-un-lft-identity
64×add-sqr-sqrt
63×add-cube-cbrt
28×add-cbrt-cube add-exp-log
21×pow1
19×associate-/r*
16×distribute-lft-out
11×pow-prod-down prod-exp cbrt-unprod
7×associate-/l*
6×div-inv
4×expm1-log1p-u cbrt-undiv div-exp associate-*l* log1p-expm1-u add-log-exp
2×clear-num frac-2neg associate-*r* *-commutative associate-/l/
1×flip3-+ associate-/r/ flip-+ unswap-sqr
Counts
4 → 164
Calls
4 calls:
22.0ms
(* (* x x) (* 2.0 0.0001789971))
15.0ms
(* 0.0140005442 (* x x))
22.0ms
(/ x (/ (+ (fma (* (* (* (* x x) (* x x)) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (* 2.0 0.0001789971)) 0.0008327945) 1.0) (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 (* (* (* (* x x) (* x x)) (* x x)) (+ 0.0694555761 (* 0.0140005442 (* x x))))))) (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 0.1049934947 (* x x) 1.0)))))))
19.0ms
(/ (+ (fma (* (* (* (* x x) (* x x)) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (* 2.0 0.0001789971)) 0.0008327945) 1.0) (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 (* (* (* (* x x) (* x x)) (* x x)) (+ 0.0694555761 (* 0.0140005442 (* x x))))))) (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 0.1049934947 (* x x) 1.0))))))

series799.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(* (* x x) (* 2.0 0.0001789971))
34.0ms
(* 0.0140005442 (* x x))
400.0ms
(/ x (/ (+ (fma (* (* (* (* x x) (* x x)) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (* 2.0 0.0001789971)) 0.0008327945) 1.0) (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 (* (* (* (* x x) (* x x)) (* x x)) (+ 0.0694555761 (* 0.0140005442 (* x x))))))) (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 0.1049934947 (* x x) 1.0)))))))
319.0ms
(/ (+ (fma (* (* (* (* x x) (* x x)) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (* 2.0 0.0001789971)) 0.0008327945) 1.0) (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 (* (* (* (* x x) (* x x)) (* x x)) (+ 0.0694555761 (* 0.0140005442 (* x x))))))) (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 0.1049934947 (* x x) 1.0))))))

simplify6.0s

Counts
176 → 176
Iterations

Useful iterations: 2 (3.7s)

IterNodesCost
0295190643
1808182154
24993180150
done5000180150

prune2.0s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize285.0ms

Local error

Found 4 expressions with local error:

2.4b
(sqrt (+ (fma (* (* (* (* x x) (* x x)) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (* 2.0 0.0001789971)) 0.0008327945) 1.0) (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 (* (* (* (* x x) (* x x)) (* x x)) (+ 0.0694555761 (* 0.0140005442 (* x x))))))))
2.4b
(sqrt (+ (fma (* (* (* (* x x) (* x x)) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (* 2.0 0.0001789971)) 0.0008327945) 1.0) (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 (* (* (* (* x x) (* x x)) (* x x)) (+ 0.0694555761 (* 0.0140005442 (* x x))))))))
24.5b
(/ (/ x (/ (sqrt (+ (fma (* (* (* (* x x) (* x x)) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (* 2.0 0.0001789971)) 0.0008327945) 1.0) (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 (* (* (* (* x x) (* x x)) (* x x)) (+ 0.0694555761 (* 0.0140005442 (* x x)))))))) 1)) (/ (sqrt (+ (fma (* (* (* (* x x) (* x x)) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (* 2.0 0.0001789971)) 0.0008327945) 1.0) (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 (* (* (* (* x x) (* x x)) (* x x)) (+ 0.0694555761 (* 0.0140005442 (* x x)))))))) (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 0.1049934947 (* x x) 1.0)))))))
27.6b
(/ (sqrt (+ (fma (* (* (* (* x x) (* x x)) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (* 2.0 0.0001789971)) 0.0008327945) 1.0) (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 (* (* (* (* x x) (* x x)) (* x x)) (+ 0.0694555761 (* 0.0140005442 (* x x)))))))) (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 0.1049934947 (* x x) 1.0))))))

rewrite875.0ms

Algorithm
rewrite-expression-head
Rules
7310×times-frac
3890×*-un-lft-identity
2930×add-sqr-sqrt
2924×add-cube-cbrt
1932×sqrt-prod
483×distribute-lft-out
187×div-inv
87×associate-/l*
34×add-exp-log
28×associate-/r*
27×add-cbrt-cube associate-/r/
23×div-exp
16×cbrt-undiv
6×pow1 sqrt-div
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×flip3-+ flip-+ associate-/l/
2×rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 1-exp hypot-def
Counts
4 → 2218
Calls
4 calls:
23.0ms
(sqrt (+ (fma (* (* (* (* x x) (* x x)) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (* 2.0 0.0001789971)) 0.0008327945) 1.0) (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 (* (* (* (* x x) (* x x)) (* x x)) (+ 0.0694555761 (* 0.0140005442 (* x x))))))))
12.0ms
(sqrt (+ (fma (* (* (* (* x x) (* x x)) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (* 2.0 0.0001789971)) 0.0008327945) 1.0) (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 (* (* (* (* x x) (* x x)) (* x x)) (+ 0.0694555761 (* 0.0140005442 (* x x))))))))
118.0ms
(/ (/ x (/ (sqrt (+ (fma (* (* (* (* x x) (* x x)) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (* 2.0 0.0001789971)) 0.0008327945) 1.0) (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 (* (* (* (* x x) (* x x)) (* x x)) (+ 0.0694555761 (* 0.0140005442 (* x x)))))))) 1)) (/ (sqrt (+ (fma (* (* (* (* x x) (* x x)) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (* 2.0 0.0001789971)) 0.0008327945) 1.0) (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 (* (* (* (* x x) (* x x)) (* x x)) (+ 0.0694555761 (* 0.0140005442 (* x x)))))))) (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 0.1049934947 (* x x) 1.0)))))))
13.0ms
(/ (sqrt (+ (fma (* (* (* (* x x) (* x x)) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (* 2.0 0.0001789971)) 0.0008327945) 1.0) (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 (* (* (* (* x x) (* x x)) (* x x)) (+ 0.0694555761 (* 0.0140005442 (* x x)))))))) (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 0.1049934947 (* x x) 1.0))))))

series1.4s

Counts
4 → 12
Calls
4 calls:
211.0ms
(sqrt (+ (fma (* (* (* (* x x) (* x x)) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (* 2.0 0.0001789971)) 0.0008327945) 1.0) (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 (* (* (* (* x x) (* x x)) (* x x)) (+ 0.0694555761 (* 0.0140005442 (* x x))))))))
210.0ms
(sqrt (+ (fma (* (* (* (* x x) (* x x)) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (* 2.0 0.0001789971)) 0.0008327945) 1.0) (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 (* (* (* (* x x) (* x x)) (* x x)) (+ 0.0694555761 (* 0.0140005442 (* x x))))))))
422.0ms
(/ (/ x (/ (sqrt (+ (fma (* (* (* (* x x) (* x x)) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (* 2.0 0.0001789971)) 0.0008327945) 1.0) (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 (* (* (* (* x x) (* x x)) (* x x)) (+ 0.0694555761 (* 0.0140005442 (* x x)))))))) 1)) (/ (sqrt (+ (fma (* (* (* (* x x) (* x x)) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (* 2.0 0.0001789971)) 0.0008327945) 1.0) (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 (* (* (* (* x x) (* x x)) (* x x)) (+ 0.0694555761 (* 0.0140005442 (* x x)))))))) (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 0.1049934947 (* x x) 1.0)))))))
533.0ms
(/ (sqrt (+ (fma (* (* (* (* x x) (* x x)) (* x x)) (* (* x x) (* x x))) (+ (* (* x x) (* 2.0 0.0001789971)) 0.0008327945) 1.0) (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 (* (* (* (* x x) (* x x)) (* x x)) (+ 0.0694555761 (* 0.0140005442 (* x x)))))))) (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 0.1049934947 (* x x) 1.0))))))

simplify18.5s

Counts
2230 → 2230
Iterations

Useful iterations: done (14.9s)

IterNodesCost
023505456369
done50005195534

prune26.2s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize233.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 0.1049934947 (* x x))
0.2b
(* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))
13.5b
(* (/ (+ (+ (+ (+ (+ 1.0 (* 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 (* 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 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
28.4b
(/ (+ (+ (+ (+ (+ 1.0 (* 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 (* 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 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))

rewrite1.1m

Algorithm
rewrite-expression-head
Rules
1809×add-cbrt-cube add-exp-log
1804×pow1
1608×prod-exp cbrt-unprod
1607×pow-prod-down
27×add-sqr-sqrt
21×*-un-lft-identity add-cube-cbrt
19×times-frac associate-*l*
5×associate-*r*
4×expm1-log1p-u associate-/r/ log1p-expm1-u add-log-exp
3×associate-/r* flip3-+ *-commutative flip-+ associate-/l* unswap-sqr
2×cbrt-undiv div-exp div-inv associate-/l/
1×clear-num frac-2neg associate-*l/
Counts
4 → 672
Calls
4 calls:
14.0ms
(* 0.1049934947 (* x x))
36.0s
(* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))
18.5s
(* (/ (+ (+ (+ (+ (+ 1.0 (* 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 (* 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 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
10.8s
(/ (+ (+ (+ (+ (+ 1.0 (* 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 (* 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 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))

series750.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(* 0.1049934947 (* x x))
89.0ms
(* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))
336.0ms
(* (/ (+ (+ (+ (+ (+ 1.0 (* 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 (* 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 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
295.0ms
(/ (+ (+ (+ (+ (+ 1.0 (* 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 (* 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 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))

simplify4.6s

Counts
684 → 684
Iterations

Useful iterations: done (4.2s)

IterNodesCost
0955405023
14159316461
done5000258881

prune1.3s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite252.0ms

Algorithm
rewrite-expression-head
Rules
35×*-un-lft-identity
33×times-frac
31×add-sqr-sqrt
30×add-cube-cbrt
23×pow1 add-exp-log
20×add-cbrt-cube
13×fma-def
12×unpow-prod-down
9×add-log-exp
8×associate-/r*
6×pow-plus div-exp prod-exp pow-prod-up cbrt-unprod associate-/l*
4×expm1-log1p-u cbrt-undiv frac-add log1p-expm1-u sqr-pow
3×sum-log associate-*r* pow-prod-down div-inv distribute-lft-out
2×pow2 clear-num frac-2neg flip3-+ pow-sqr flip-+
1×pow-to-exp +-commutative associate-+r+ associate-*l* pow3 pow-exp *-commutative unswap-sqr
Counts
4 → 135
Calls
4 calls:
189.0ms
(+ (/ 0.5 x) (+ (/ 0.2514179000665375 (* (* x x) x)) (/ 0.15298196345929327 (pow x 5))))
27.0ms
(* (* x x) x)
9.0ms
(/ 0.15298196345929327 (pow x 5))
23.0ms
(/ 0.2514179000665375 (* (* x x) x))

series216.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(+ (/ 0.5 x) (+ (/ 0.2514179000665375 (* (* x x) x)) (/ 0.15298196345929327 (pow x 5))))
35.0ms
(* (* x x) x)
83.0ms
(/ 0.15298196345929327 (pow x 5))
44.0ms
(/ 0.2514179000665375 (* (* x x) x))

simplify1.7s

Counts
147 → 147
Iterations

Useful iterations: done (1.7s)

IterNodesCost
021248765
156743597
2320142467
done500042327

prune404.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes107.0ms

Accuracy

100% (0.0b remaining)

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

bsearch436.0ms

Steps
ItersRangePoint
8
160.65039477392645
261980.93535209994
8124.998191315609
9
-2.8161314526239392e+28
-6.2573470230411204e+22
-1.6129818912060957e+23

simplify40.0ms

Iterations

Useful iterations: 0 (14.0ms)

IterNodesCost
0611969
1951969
done951969

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.9s8000×body80valid