Details

Time bar (total: 1.1m)

sample115.0ms

Algorithm
intervals
Results
77.0ms256×body80valid

simplify2.1s

Counts
1 → 1
Iterations
IterNodes
done5000
33489
2608
1132
044

prune54.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 29.6b

localize108.0ms

Local error

Found 4 expressions with local error:

0.1b
(* 0.1049934947 (* x x))
0.1b
(* 0.7715471019 (* x x))
15.0b
(* (/ (+ (+ (+ (+ (+ 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)
29.1b
(/ (+ (+ (+ (+ (+ 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)))))

rewrite29.5s

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
22×*-un-lft-identity add-cube-cbrt
21×add-cbrt-cube associate-*l* add-exp-log
19×times-frac
16×pow1
8×prod-exp cbrt-unprod
7×pow-prod-down
5×associate-*r*
4×expm1-log1p-u associate-/r/ log1p-expm1-u add-log-exp unswap-sqr
3×associate-/r* flip3-+ *-commutative flip-+ associate-/l*
2×cbrt-undiv div-exp div-inv associate-/l/
1×clear-num frac-2neg associate-*l/
Counts
4 → 111
Calls
4 calls:
13.0ms
(* 0.1049934947 (* x x))
22.0ms
(* 0.7715471019 (* x x))
18.7s
(* (/ (+ (+ (+ (+ (+ 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)))))

series799.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(* 0.1049934947 (* x x))
29.0ms
(* 0.7715471019 (* x x))
372.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)
354.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)))))

simplify2.5s

Counts
123 → 123
Iterations
IterNodes
done5000
24422
1695
0238

prune1.8s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize172.0ms

Local error

Found 4 expressions with local error:

2.6b
(sqrt (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma (* (pow x 6) x) (* x 0.0005064034) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* x 0.1049934947) x 1.0))))))
2.6b
(sqrt (+ (+ (+ (+ (+ 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)))))
26.4b
(* (/ (sqrt (+ (+ (+ (+ (+ 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) (* (/ (sqrt (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma (* (pow x 6) x) (* x 0.0005064034) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* x 0.1049934947) x 1.0)))))) (fma 2.0 (* (* (pow x 6) (pow x 6)) 0.0001789971) (fma (pow x 2) (fma (pow x 6) 0.0140005442 (* 0.0008327945 (* (pow x 4) (pow x 4)))) (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)))))) x))
27.8b
(/ (sqrt (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma (* (pow x 6) x) (* x 0.0005064034) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* x 0.1049934947) x 1.0)))))) (fma 2.0 (* (* (pow x 6) (pow x 6)) 0.0001789971) (fma (pow x 2) (fma (pow x 6) 0.0140005442 (* 0.0008327945 (* (pow x 4) (pow x 4)))) (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0))))))

rewrite5.3s

Algorithm
rewrite-expression-head
Rules
36×add-sqr-sqrt times-frac add-exp-log
34×*-un-lft-identity add-cube-cbrt
27×add-cbrt-cube sqrt-prod
22×associate-*l*
15×prod-exp
11×pow1
10×div-exp cbrt-unprod
6×cbrt-undiv associate-/l*
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-/r* 1-exp pow-prod-down associate-*l/
2×rem-sqrt-square sqrt-pow1 pow1/2 sqrt-div div-inv
1×frac-times clear-num frac-2neg flip3-+ associate-*r* associate-*r/ *-commutative flip-+
Counts
4 → 126
Calls
4 calls:
2.0ms
(sqrt (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma (* (pow x 6) x) (* x 0.0005064034) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* x 0.1049934947) x 1.0))))))
2.1s
(sqrt (+ (+ (+ (+ (+ 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)))))
3.2s
(* (/ (sqrt (+ (+ (+ (+ (+ 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) (* (/ (sqrt (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma (* (pow x 6) x) (* x 0.0005064034) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* x 0.1049934947) x 1.0)))))) (fma 2.0 (* (* (pow x 6) (pow x 6)) 0.0001789971) (fma (pow x 2) (fma (pow x 6) 0.0140005442 (* 0.0008327945 (* (pow x 4) (pow x 4)))) (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)))))) x))
8.0ms
(/ (sqrt (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma (* (pow x 6) x) (* x 0.0005064034) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* x 0.1049934947) x 1.0)))))) (fma 2.0 (* (* (pow x 6) (pow x 6)) 0.0001789971) (fma (pow x 2) (fma (pow x 6) 0.0140005442 (* 0.0008327945 (* (pow x 4) (pow x 4)))) (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0))))))

series2.1s

Counts
4 → 12
Calls
4 calls:
213.0ms
(sqrt (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma (* (pow x 6) x) (* x 0.0005064034) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* x 0.1049934947) x 1.0))))))
233.0ms
(sqrt (+ (+ (+ (+ (+ 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)))))
803.0ms
(* (/ (sqrt (+ (+ (+ (+ (+ 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) (* (/ (sqrt (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma (* (pow x 6) x) (* x 0.0005064034) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* x 0.1049934947) x 1.0)))))) (fma 2.0 (* (* (pow x 6) (pow x 6)) 0.0001789971) (fma (pow x 2) (fma (pow x 6) 0.0140005442 (* 0.0008327945 (* (pow x 4) (pow x 4)))) (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)))))) x))
857.0ms
(/ (sqrt (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma (* (pow x 6) x) (* x 0.0005064034) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* x 0.1049934947) x 1.0)))))) (fma 2.0 (* (* (pow x 6) (pow x 6)) 0.0001789971) (fma (pow x 2) (fma (pow x 6) 0.0140005442 (* 0.0008327945 (* (pow x 4) (pow x 4)))) (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0))))))

simplify496.0ms

Counts
138 → 138
Iterations
IterNodes
done5000
1990
0359

prune2.8s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize249.0ms

Local error

Found 4 expressions with local error:

4.7b
(sqrt (sqrt (fma 0.0001789971 (* (* x x) (pow x 8)) (fma (pow x 8) 0.0005064034 (fma (pow (* x x) 3) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))))))
22.8b
(* (sqrt (/ (sqrt (+ (+ (+ (+ (+ 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)) (* x (* (/ (sqrt (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma (pow x 7) (* 0.0005064034 x) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))))) (fma 2.0 (* 0.0001789971 (pow x 12)) (fma (* x x) (fma (pow x 6) 0.0140005442 (* 0.0008327945 (pow x 8))) (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x 0.7715471019) x 1.0)))))) (sqrt (sqrt (fma 0.0001789971 (* (* x x) (pow x 8)) (fma (pow x 8) 0.0005064034 (fma (pow (* x x) 3) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0))))))))))
23.3b
(* (/ (sqrt (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma (pow x 7) (* 0.0005064034 x) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))))) (fma 2.0 (* 0.0001789971 (pow x 12)) (fma (* x x) (fma (pow x 6) 0.0140005442 (* 0.0008327945 (pow x 8))) (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x 0.7715471019) x 1.0)))))) (sqrt (sqrt (fma 0.0001789971 (* (* x x) (pow x 8)) (fma (pow x 8) 0.0005064034 (fma (pow (* x x) 3) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0))))))))
27.8b
(/ (sqrt (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma (pow x 7) (* 0.0005064034 x) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))))) (fma 2.0 (* 0.0001789971 (pow x 12)) (fma (* x x) (fma (pow x 6) 0.0140005442 (* 0.0008327945 (pow x 8))) (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x 0.7715471019) x 1.0))))))

rewrite3.4s

Algorithm
rewrite-expression-head
Rules
83×sqrt-prod
77×add-sqr-sqrt
60×times-frac
51×*-un-lft-identity add-cube-cbrt
47×associate-*l*
25×add-cbrt-cube add-exp-log
17×pow1
11×prod-exp cbrt-unprod
10×associate-*r*
9×unswap-sqr
7×pow-prod-down
6×associate-/l*
4×expm1-log1p-u sqrt-pow1 associate-*l/ log1p-expm1-u add-log-exp
3×cbrt-undiv associate-/r* div-exp associate-*r/ div-inv
2×rem-sqrt-square pow1/2 sqrt-div *-commutative
1×frac-times clear-num frac-2neg
Counts
4 → 168
Calls
4 calls:
4.0ms
(sqrt (sqrt (fma 0.0001789971 (* (* x x) (pow x 8)) (fma (pow x 8) 0.0005064034 (fma (pow (* x x) 3) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))))))
3.4s
(* (sqrt (/ (sqrt (+ (+ (+ (+ (+ 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)) (* x (* (/ (sqrt (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma (pow x 7) (* 0.0005064034 x) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))))) (fma 2.0 (* 0.0001789971 (pow x 12)) (fma (* x x) (fma (pow x 6) 0.0140005442 (* 0.0008327945 (pow x 8))) (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x 0.7715471019) x 1.0)))))) (sqrt (sqrt (fma 0.0001789971 (* (* x x) (pow x 8)) (fma (pow x 8) 0.0005064034 (fma (pow (* x x) 3) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0))))))))))
38.0ms
(* (/ (sqrt (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma (pow x 7) (* 0.0005064034 x) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))))) (fma 2.0 (* 0.0001789971 (pow x 12)) (fma (* x x) (fma (pow x 6) 0.0140005442 (* 0.0008327945 (pow x 8))) (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x 0.7715471019) x 1.0)))))) (sqrt (sqrt (fma 0.0001789971 (* (* x x) (pow x 8)) (fma (pow x 8) 0.0005064034 (fma (pow (* x x) 3) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0))))))))
6.0ms
(/ (sqrt (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma (pow x 7) (* 0.0005064034 x) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))))) (fma 2.0 (* 0.0001789971 (pow x 12)) (fma (* x x) (fma (pow x 6) 0.0140005442 (* 0.0008327945 (pow x 8))) (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x 0.7715471019) x 1.0))))))

series3.3s

Counts
4 → 12
Calls
4 calls:
399.0ms
(sqrt (sqrt (fma 0.0001789971 (* (* x x) (pow x 8)) (fma (pow x 8) 0.0005064034 (fma (pow (* x x) 3) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))))))
1.2s
(* (sqrt (/ (sqrt (+ (+ (+ (+ (+ 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)) (* x (* (/ (sqrt (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma (pow x 7) (* 0.0005064034 x) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))))) (fma 2.0 (* 0.0001789971 (pow x 12)) (fma (* x x) (fma (pow x 6) 0.0140005442 (* 0.0008327945 (pow x 8))) (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x 0.7715471019) x 1.0)))))) (sqrt (sqrt (fma 0.0001789971 (* (* x x) (pow x 8)) (fma (pow x 8) 0.0005064034 (fma (pow (* x x) 3) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0))))))))))
1.1s
(* (/ (sqrt (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma (pow x 7) (* 0.0005064034 x) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))))) (fma 2.0 (* 0.0001789971 (pow x 12)) (fma (* x x) (fma (pow x 6) 0.0140005442 (* 0.0008327945 (pow x 8))) (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x 0.7715471019) x 1.0)))))) (sqrt (sqrt (fma 0.0001789971 (* (* x x) (pow x 8)) (fma (pow x 8) 0.0005064034 (fma (pow (* x x) 3) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0))))))))
571.0ms
(/ (sqrt (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma (pow x 7) (* 0.0005064034 x) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))))) (fma 2.0 (* 0.0001789971 (pow x 12)) (fma (* x x) (fma (pow x 6) 0.0140005442 (* 0.0008327945 (pow x 8))) (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x 0.7715471019) x 1.0))))))

simplify768.0ms

Counts
180 → 180
Iterations
IterNodes
done5001
11514
0558

prune4.0s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite213.0ms

Algorithm
rewrite-expression-head
Rules
119×times-frac
98×*-un-lft-identity
81×add-sqr-sqrt add-cube-cbrt
65×fma-def
42×unpow-prod-down
21×cube-prod
19×associate-/r*
14×add-exp-log sqr-pow
11×add-log-exp
8×add-cbrt-cube
7×cube-mult unpow3 distribute-lft-out
6×div-exp associate-/l*
5×frac-add
4×expm1-log1p-u pow1 sum-log log1p-expm1-u div-inv
3×flip3-+ flip-+
2×pow-to-exp cbrt-undiv +-commutative clear-num frac-2neg pow-exp
1×associate-+r+
Counts
4 → 216
Calls
4 calls:
48.0ms
(+ (/ 0.2514179000665375 (pow x 3)) (/ 0.5 x))
141.0ms
(+ (/ 0.15298196345929327 (pow x 5)) (+ (/ 0.2514179000665375 (pow x 3)) (/ 0.5 x)))
6.0ms
(/ 0.2514179000665375 (pow x 3))
11.0ms
(/ 0.15298196345929327 (pow x 5))

series241.0ms

Counts
4 → 12
Calls
4 calls:
91.0ms
(+ (/ 0.2514179000665375 (pow x 3)) (/ 0.5 x))
55.0ms
(+ (/ 0.15298196345929327 (pow x 5)) (+ (/ 0.2514179000665375 (pow x 3)) (/ 0.5 x)))
39.0ms
(/ 0.2514179000665375 (pow x 3))
56.0ms
(/ 0.15298196345929327 (pow x 5))

simplify821.0ms

Counts
228 → 228
Iterations
IterNodes
done5001
22645
1581
0242

prune675.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes77.0ms

Accuracy

100% (0.0b remaining)

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

bsearch515.0ms

Steps
ItersRangePoint
7
13.800596953327334
2205.5689030668646
678.4649005089825
10
-185496355225.45163
-22.8286883066892
-1794529.2902817451

simplify11.0ms

Iterations
IterNodes
done108
1108
079

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.7s8000×body80valid