Details

Time bar (total: 1.1m)

sample74.0ms

Algorithm
intervals
Results
30.0ms256×body80valid

simplify1.9s

Counts
1 → 1
Iterations

Useful iterations: done (1.9s)

IterNodesCost
044173
1132173
2608106
3348972
done500070

prune57.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 29.6b

localize132.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)))))

rewrite32.3s

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:
27.0ms
(* 0.1049934947 (* x x))
27.0ms
(* 0.7715471019 (* x x))
20.1s
(* (/ (+ (+ (+ (+ (+ 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)
12.2s
(/ (+ (+ (+ (+ (+ 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)))))

series856.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(* 0.1049934947 (* x x))
50.0ms
(* 0.7715471019 (* x x))
417.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)
337.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

Useful iterations: 2 (972.0ms)

IterNodesCost
023816293
169512903
244227052
done50007052

prune1.7s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize113.0ms

Local error

Found 4 expressions with local error:

0.1b
(pow (/ (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma 0.0005064034 (* (pow x 4) (pow x 4)) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* 0.1049934947 x) x 1.0))))) (fma (* 2.0 0.0001789971) (* (pow x 6) (pow x 6)) (fma 0.0008327945 (* (pow x 6) (pow x 4)) (fma (* (pow x 4) (pow x 4)) 0.0140005442 (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0))))))) 3)
10.1b
(cbrt (pow (/ (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma 0.0005064034 (* (pow x 4) (pow x 4)) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* 0.1049934947 x) x 1.0))))) (fma (* 2.0 0.0001789971) (* (pow x 6) (pow x 6)) (fma 0.0008327945 (* (pow x 6) (pow x 4)) (fma (* (pow x 4) (pow x 4)) 0.0140005442 (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0))))))) 3))
15.0b
(* (cbrt (pow (/ (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma 0.0005064034 (* (pow x 4) (pow x 4)) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* 0.1049934947 x) x 1.0))))) (fma (* 2.0 0.0001789971) (* (pow x 6) (pow x 6)) (fma 0.0008327945 (* (pow x 6) (pow x 4)) (fma (* (pow x 4) (pow x 4)) 0.0140005442 (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0))))))) 3)) x)
29.1b
(/ (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma 0.0005064034 (* (pow x 4) (pow x 4)) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* 0.1049934947 x) x 1.0))))) (fma (* 2.0 0.0001789971) (* (pow x 6) (pow x 6)) (fma 0.0008327945 (* (pow x 6) (pow x 4)) (fma (* (pow x 4) (pow x 4)) 0.0140005442 (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0)))))))

rewrite117.0ms

Algorithm
rewrite-expression-head
Rules
74×add-sqr-sqrt
70×cbrt-prod
65×times-frac
59×*-un-lft-identity add-cube-cbrt
41×unpow-prod-down cube-prod
35×associate-*l*
11×add-exp-log
10×add-cbrt-cube
7×pow1 div-inv unswap-sqr
4×expm1-log1p-u log1p-expm1-u add-log-exp sqr-pow
3×cube-div cube-mult pow-unpow associate-/r* unpow3 associate-*r* associate-/l*
2×cbrt-undiv cbrt-div div-exp pow-exp rem-cube-cbrt
1×pow-to-exp clear-num pow-pow frac-2neg pow1/3 pow-prod-down associate-*l/ prod-exp *-commutative rem-cbrt-cube cbrt-unprod
Counts
4 → 180
Calls
4 calls:
12.0ms
(pow (/ (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma 0.0005064034 (* (pow x 4) (pow x 4)) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* 0.1049934947 x) x 1.0))))) (fma (* 2.0 0.0001789971) (* (pow x 6) (pow x 6)) (fma 0.0008327945 (* (pow x 6) (pow x 4)) (fma (* (pow x 4) (pow x 4)) 0.0140005442 (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0))))))) 3)
10.0ms
(cbrt (pow (/ (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma 0.0005064034 (* (pow x 4) (pow x 4)) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* 0.1049934947 x) x 1.0))))) (fma (* 2.0 0.0001789971) (* (pow x 6) (pow x 6)) (fma 0.0008327945 (* (pow x 6) (pow x 4)) (fma (* (pow x 4) (pow x 4)) 0.0140005442 (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0))))))) 3))
73.0ms
(* (cbrt (pow (/ (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma 0.0005064034 (* (pow x 4) (pow x 4)) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* 0.1049934947 x) x 1.0))))) (fma (* 2.0 0.0001789971) (* (pow x 6) (pow x 6)) (fma 0.0008327945 (* (pow x 6) (pow x 4)) (fma (* (pow x 4) (pow x 4)) 0.0140005442 (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0))))))) 3)) x)
8.0ms
(/ (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma 0.0005064034 (* (pow x 4) (pow x 4)) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* 0.1049934947 x) x 1.0))))) (fma (* 2.0 0.0001789971) (* (pow x 6) (pow x 6)) (fma 0.0008327945 (* (pow x 6) (pow x 4)) (fma (* (pow x 4) (pow x 4)) 0.0140005442 (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0)))))))

series1.3s

Counts
4 → 12
Calls
4 calls:
372.0ms
(pow (/ (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma 0.0005064034 (* (pow x 4) (pow x 4)) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* 0.1049934947 x) x 1.0))))) (fma (* 2.0 0.0001789971) (* (pow x 6) (pow x 6)) (fma 0.0008327945 (* (pow x 6) (pow x 4)) (fma (* (pow x 4) (pow x 4)) 0.0140005442 (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0))))))) 3)
269.0ms
(cbrt (pow (/ (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma 0.0005064034 (* (pow x 4) (pow x 4)) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* 0.1049934947 x) x 1.0))))) (fma (* 2.0 0.0001789971) (* (pow x 6) (pow x 6)) (fma 0.0008327945 (* (pow x 6) (pow x 4)) (fma (* (pow x 4) (pow x 4)) 0.0140005442 (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0))))))) 3))
378.0ms
(* (cbrt (pow (/ (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma 0.0005064034 (* (pow x 4) (pow x 4)) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* 0.1049934947 x) x 1.0))))) (fma (* 2.0 0.0001789971) (* (pow x 6) (pow x 6)) (fma 0.0008327945 (* (pow x 6) (pow x 4)) (fma (* (pow x 4) (pow x 4)) 0.0140005442 (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0))))))) 3)) x)
297.0ms
(/ (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma 0.0005064034 (* (pow x 4) (pow x 4)) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* 0.1049934947 x) x 1.0))))) (fma (* 2.0 0.0001789971) (* (pow x 6) (pow x 6)) (fma 0.0008327945 (* (pow x 6) (pow x 4)) (fma (* (pow x 4) (pow x 4)) 0.0140005442 (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0)))))))

simplify2.4s

Counts
192 → 192
Iterations

Useful iterations: 2 (772.0ms)

IterNodesCost
026222329
171318338
2385617013
done500117013

prune2.4s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize109.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 1 (fma (* 2.0 0.0001789971) (pow x 12) (fma 0.0008327945 (* (pow x 6) (pow x 4)) (fma (pow x 8) 0.0140005442 (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0)))))))
10.1b
(cbrt (pow (* (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma 0.0005064034 (* (pow x 4) (pow x 4)) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* 0.1049934947 x) x 1.0))))) (/ 1 (fma (* 2.0 0.0001789971) (pow x 12) (fma 0.0008327945 (* (pow x 6) (pow x 4)) (fma (pow x 8) 0.0140005442 (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0)))))))) 3))
15.0b
(* (cbrt (pow (* (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma 0.0005064034 (* (pow x 4) (pow x 4)) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* 0.1049934947 x) x 1.0))))) (/ 1 (fma (* 2.0 0.0001789971) (pow x 12) (fma 0.0008327945 (* (pow x 6) (pow x 4)) (fma (pow x 8) 0.0140005442 (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0)))))))) 3)) x)
28.9b
(* (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma 0.0005064034 (* (pow x 4) (pow x 4)) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* 0.1049934947 x) x 1.0))))) (/ 1 (fma (* 2.0 0.0001789971) (pow x 12) (fma 0.0008327945 (* (pow x 6) (pow x 4)) (fma (pow x 8) 0.0140005442 (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0))))))))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
36×add-sqr-sqrt
25×*-un-lft-identity
24×add-cube-cbrt
20×times-frac
19×add-exp-log
18×cbrt-prod
16×associate-*r*
14×associate-*l*
12×add-cbrt-cube
9×pow1
6×unswap-sqr
5×prod-exp
4×cube-div expm1-log1p-u cbrt-div div-exp log1p-expm1-u add-log-exp
3×associate-/r* associate-*r/ un-div-inv cbrt-unprod associate-/l* sqr-pow
2×cube-mult cbrt-undiv rec-exp unpow-prod-down 1-exp unpow3 cube-prod pow-prod-down associate-*l/ *-commutative div-inv
1×clear-num frac-2neg pow1/3 rem-cbrt-cube pow-flip inv-pow
Counts
4 → 124
Calls
4 calls:
8.0ms
(/ 1 (fma (* 2.0 0.0001789971) (pow x 12) (fma 0.0008327945 (* (pow x 6) (pow x 4)) (fma (pow x 8) 0.0140005442 (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0)))))))
4.0ms
(cbrt (pow (* (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma 0.0005064034 (* (pow x 4) (pow x 4)) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* 0.1049934947 x) x 1.0))))) (/ 1 (fma (* 2.0 0.0001789971) (pow x 12) (fma 0.0008327945 (* (pow x 6) (pow x 4)) (fma (pow x 8) 0.0140005442 (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0)))))))) 3))
25.0ms
(* (cbrt (pow (* (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma 0.0005064034 (* (pow x 4) (pow x 4)) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* 0.1049934947 x) x 1.0))))) (/ 1 (fma (* 2.0 0.0001789971) (pow x 12) (fma 0.0008327945 (* (pow x 6) (pow x 4)) (fma (pow x 8) 0.0140005442 (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0)))))))) 3)) x)
21.0ms
(* (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma 0.0005064034 (* (pow x 4) (pow x 4)) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* 0.1049934947 x) x 1.0))))) (/ 1 (fma (* 2.0 0.0001789971) (pow x 12) (fma 0.0008327945 (* (pow x 6) (pow x 4)) (fma (pow x 8) 0.0140005442 (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0))))))))

series1.2s

Counts
4 → 12
Calls
4 calls:
146.0ms
(/ 1 (fma (* 2.0 0.0001789971) (pow x 12) (fma 0.0008327945 (* (pow x 6) (pow x 4)) (fma (pow x 8) 0.0140005442 (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0)))))))
306.0ms
(cbrt (pow (* (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma 0.0005064034 (* (pow x 4) (pow x 4)) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* 0.1049934947 x) x 1.0))))) (/ 1 (fma (* 2.0 0.0001789971) (pow x 12) (fma 0.0008327945 (* (pow x 6) (pow x 4)) (fma (pow x 8) 0.0140005442 (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0)))))))) 3))
399.0ms
(* (cbrt (pow (* (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma 0.0005064034 (* (pow x 4) (pow x 4)) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* 0.1049934947 x) x 1.0))))) (/ 1 (fma (* 2.0 0.0001789971) (pow x 12) (fma 0.0008327945 (* (pow x 6) (pow x 4)) (fma (pow x 8) 0.0140005442 (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0)))))))) 3)) x)
318.0ms
(* (fma 0.0001789971 (* (pow x 6) (pow x 4)) (fma 0.0005064034 (* (pow x 4) (pow x 4)) (fma (pow x 6) 0.0072644182 (fma (pow x 4) 0.0424060604 (fma (* 0.1049934947 x) x 1.0))))) (/ 1 (fma (* 2.0 0.0001789971) (pow x 12) (fma 0.0008327945 (* (pow x 6) (pow x 4)) (fma (pow x 8) 0.0140005442 (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0))))))))

simplify3.0s

Counts
136 → 136
Iterations

Useful iterations: 2 (770.0ms)

IterNodesCost
023710676
15389228
233128884
done50008884

prune1.7s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize130.0ms

Local error

Found 4 expressions with local error:

0.1b
(* 0.1049934947 (* x x))
0.2b
(/ 1 (fma (* 2.0 0.0001789971) (* (pow x 6) (pow x 6)) (fma 0.0008327945 (* (pow x 6) (pow x 4)) (fma (* (pow x 4) (pow x 4)) 0.0140005442 (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0)))))))
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 (fma (* 2.0 0.0001789971) (* (pow x 6) (pow x 6)) (fma 0.0008327945 (* (pow x 6) (pow x 4)) (fma (* (pow x 4) (pow x 4)) 0.0140005442 (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0)))))))) x)
28.9b
(* (+ (+ (+ (+ (+ 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 (fma (* 2.0 0.0001789971) (* (pow x 6) (pow x 6)) (fma 0.0008327945 (* (pow x 6) (pow x 4)) (fma (* (pow x 4) (pow x 4)) 0.0140005442 (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0))))))))

rewrite8.5s

Algorithm
rewrite-expression-head
Rules
37×add-exp-log
30×add-sqr-sqrt
25×add-cbrt-cube
23×*-un-lft-identity
22×add-cube-cbrt
20×times-frac
17×pow1 associate-*r*
16×prod-exp
10×associate-*l/ cbrt-unprod
7×associate-*l* pow-prod-down
6×div-exp
4×expm1-log1p-u frac-times flip3-+ flip-+ log1p-expm1-u add-log-exp unswap-sqr
3×cbrt-undiv rec-exp associate-/r* 1-exp *-commutative associate-/l*
2×associate-*r/ un-div-inv div-inv
1×clear-num frac-2neg pow-flip inv-pow
Counts
4 → 126
Calls
4 calls:
13.0ms
(* 0.1049934947 (* x x))
4.0ms
(/ 1 (fma (* 2.0 0.0001789971) (* (pow x 6) (pow x 6)) (fma 0.0008327945 (* (pow x 6) (pow x 4)) (fma (* (pow x 4) (pow x 4)) 0.0140005442 (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0)))))))
4.0s
(* (* (+ (+ (+ (+ (+ 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 (fma (* 2.0 0.0001789971) (* (pow x 6) (pow x 6)) (fma 0.0008327945 (* (pow x 6) (pow x 4)) (fma (* (pow x 4) (pow x 4)) 0.0140005442 (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0)))))))) x)
4.4s
(* (+ (+ (+ (+ (+ 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 (fma (* 2.0 0.0001789971) (* (pow x 6) (pow x 6)) (fma 0.0008327945 (* (pow x 6) (pow x 4)) (fma (* (pow x 4) (pow x 4)) 0.0140005442 (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0))))))))

series610.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(* 0.1049934947 (* x x))
115.0ms
(/ 1 (fma (* 2.0 0.0001789971) (* (pow x 6) (pow x 6)) (fma 0.0008327945 (* (pow x 6) (pow x 4)) (fma (* (pow x 4) (pow x 4)) 0.0140005442 (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0)))))))
265.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 (fma (* 2.0 0.0001789971) (* (pow x 6) (pow x 6)) (fma 0.0008327945 (* (pow x 6) (pow x 4)) (fma (* (pow x 4) (pow x 4)) 0.0140005442 (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0)))))))) x)
199.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 (fma (* 2.0 0.0001789971) (* (pow x 6) (pow x 6)) (fma 0.0008327945 (* (pow x 6) (pow x 4)) (fma (* (pow x 4) (pow x 4)) 0.0140005442 (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* x x) 0.7715471019 1.0))))))))

simplify295.0ms

Counts
138 → 138
Iterations

Useful iterations: done (287.0ms)

IterNodesCost
026113433
17069578
done50007068

prune1.4s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes70.0ms

Accuracy

100% (0.0b remaining)

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

bsearch435.0ms

Steps
ItersRangePoint
7
13.800596953327334
2205.5689030668646
707.8723537961213
10
-185496355225.45163
-22.8286883066892
-4188948.140036669

simplify8.0ms

Iterations

Useful iterations: 1 (5.0ms)

IterNodesCost
064159
188145
done88145

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.6s8000×body80valid