Details

Time bar (total: 9.2s)

sample46.0ms

Algorithm
intervals
Results
25.0ms256×body80valid

simplify114.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (22.0ms)

IterNodesCost
013286
161875
2334339
3500139

prune29.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 27.6b

Counts
2 → 2

localize39.0ms

Local error

Found 4 expressions with local error:

0.1b
(* 0.7715471019 (* x x))
0.1b
(* 0.1049934947 (* x x))
14.6b
(* (/ (+ (+ (+ (+ (+ 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)
27.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)))))

rewrite606.0ms

Algorithm
rewrite-expression-head
Rules
5×associate-*l/ *-commutative
4×flip3-+ associate-*r* associate-/r/ flip-+ associate-/l/
3×associate-*l*
2×frac-2neg clear-num div-inv
Counts
4 → 22
Calls
4 calls:
3.0ms
(* 0.7715471019 (* x x))
3.0ms
(* 0.1049934947 (* x x))
298.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)
300.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)))))

series536.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(* 0.7715471019 (* x x))
31.0ms
(* 0.1049934947 (* x x))
274.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)
205.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)))))

simplify79.0ms

Algorithm
egg-herbie
Counts
34 → 34
Iterations

Useful iterations: 2 (68.0ms)

IterNodesCost
03751156
12215961
25001845

prune292.0ms

Filtered
34 candidates to 24 candidates (70.6%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New30434
Fresh101
Picked101
Done000
Total32436

Merged error: 0b

Counts
36 → 4

localize57.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* x x) (* x x))
0.2b
(* 0.0001789971 (pow x 6))
14.6b
(* (/ (- (fma (* 0.0001789971 (pow x 6)) (pow x 4) (fma (* 0.0005064034 (pow x 7)) x (fma 0.0072644182 (pow x 6) (fma 0.0424060604 (pow x 4) (fma (* 0.1049934947 x) x 1.0)))))) (- (+ (- (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)))) (- (fma (* 0.0140005442 (* (* (* x x) (* x x)) (* x x))) (pow x 2) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))))) (* (* (* 2.0 0.0001789971) (pow x 8)) (pow x 4)))) x)
27.1b
(/ (- (fma (* 0.0001789971 (pow x 6)) (pow x 4) (fma (* 0.0005064034 (pow x 7)) x (fma 0.0072644182 (pow x 6) (fma 0.0424060604 (pow x 4) (fma (* 0.1049934947 x) x 1.0)))))) (- (+ (- (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)))) (- (fma (* 0.0140005442 (* (* (* x x) (* x x)) (* x x))) (pow x 2) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))))) (* (* (* 2.0 0.0001789971) (pow x 8)) (pow x 4))))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
13×*-commutative
7×pow2
5×associate-*l*
4×swap-sqr associate-*l/ associate-/r/ unswap-sqr
3×associate-*r*
2×neg-mul-1 flip3-- frac-2neg distribute-frac-neg clear-num flip-- div-inv associate-/l*
1×distribute-lft-neg-out neg-sub0 div-sub pow-prod-down pow-sqr pow-prod-up sqr-pow
Counts
4 → 36
Calls
4 calls:
6.0ms
(* (* x x) (* x x))
3.0ms
(* 0.0001789971 (pow x 6))
11.0ms
(* (/ (- (fma (* 0.0001789971 (pow x 6)) (pow x 4) (fma (* 0.0005064034 (pow x 7)) x (fma 0.0072644182 (pow x 6) (fma 0.0424060604 (pow x 4) (fma (* 0.1049934947 x) x 1.0)))))) (- (+ (- (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)))) (- (fma (* 0.0140005442 (* (* (* x x) (* x x)) (* x x))) (pow x 2) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))))) (* (* (* 2.0 0.0001789971) (pow x 8)) (pow x 4)))) x)
10.0ms
(/ (- (fma (* 0.0001789971 (pow x 6)) (pow x 4) (fma (* 0.0005064034 (pow x 7)) x (fma 0.0072644182 (pow x 6) (fma 0.0424060604 (pow x 4) (fma (* 0.1049934947 x) x 1.0)))))) (- (+ (- (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)))) (- (fma (* 0.0140005442 (* (* (* x x) (* x x)) (* x x))) (pow x 2) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))))) (* (* (* 2.0 0.0001789971) (pow x 8)) (pow x 4))))

series766.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(* (* x x) (* x x))
50.0ms
(* 0.0001789971 (pow x 6))
285.0ms
(* (/ (- (fma (* 0.0001789971 (pow x 6)) (pow x 4) (fma (* 0.0005064034 (pow x 7)) x (fma 0.0072644182 (pow x 6) (fma 0.0424060604 (pow x 4) (fma (* 0.1049934947 x) x 1.0)))))) (- (+ (- (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)))) (- (fma (* 0.0140005442 (* (* (* x x) (* x x)) (* x x))) (pow x 2) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))))) (* (* (* 2.0 0.0001789971) (pow x 8)) (pow x 4)))) x)
400.0ms
(/ (- (fma (* 0.0001789971 (pow x 6)) (pow x 4) (fma (* 0.0005064034 (pow x 7)) x (fma 0.0072644182 (pow x 6) (fma 0.0424060604 (pow x 4) (fma (* 0.1049934947 x) x 1.0)))))) (- (+ (- (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)))) (- (fma (* 0.0140005442 (* (* (* x x) (* x x)) (* x x))) (pow x 2) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))))) (* (* (* 2.0 0.0001789971) (pow x 8)) (pow x 4))))

simplify55.0ms

Algorithm
egg-herbie
Counts
48 → 48
Iterations

Useful iterations: 2 (46.0ms)

IterNodesCost
0312721
11524701
25001614

prune349.0ms

Filtered
48 candidates to 27 candidates (56.3%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New47148
Fresh123
Picked101
Done000
Total49352

Merged error: 0b

Counts
52 → 3

localize74.0ms

Local error

Found 4 expressions with local error:

24.3b
(+ (* x (fma (* 2.0 0.0001789971) (* (pow x 8) (pow x 4)) (- (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)))))) (* x (* (- (pow x 2)) (fma 0.0140005442 (pow x 6) (* (pow x 8) 0.0008327945)))))
27.5b
(* (/ (- (fma (* 0.0001789971 (pow x 6)) (pow x 4) (fma (* 0.0005064034 (pow x 7)) x (fma 0.0072644182 (pow x 6) (fma 0.0424060604 (pow x 4) (fma (* 0.1049934947 x) x 1.0)))))) (- (* (+ (- (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)))) (- (fma (* 0.0140005442 (* (* (* x x) (* x x)) (* x x))) (pow x 2) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))))) (+ (- (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)))) (- (fma (* 0.0140005442 (* (* (* x x) (* x x)) (* x x))) (pow x 2) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))))) (* (* (* (* 2.0 0.0001789971) (pow x 8)) (pow x 4)) (* (* (* 2.0 0.0001789971) (pow x 8)) (pow x 4))))) (+ (* x (fma (* 2.0 0.0001789971) (* (pow x 8) (pow x 4)) (- (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)))))) (* x (* (- (pow x 2)) (fma 0.0140005442 (pow x 6) (* (pow x 8) 0.0008327945))))))
27.8b
(/ (- (fma (* 0.0001789971 (pow x 6)) (pow x 4) (fma (* 0.0005064034 (pow x 7)) x (fma 0.0072644182 (pow x 6) (fma 0.0424060604 (pow x 4) (fma (* 0.1049934947 x) x 1.0)))))) (- (* (+ (- (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)))) (- (fma (* 0.0140005442 (* (* (* x x) (* x x)) (* x x))) (pow x 2) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))))) (+ (- (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)))) (- (fma (* 0.0140005442 (* (* (* x x) (* x x)) (* x x))) (pow x 2) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))))) (* (* (* (* 2.0 0.0001789971) (pow x 8)) (pow x 4)) (* (* (* 2.0 0.0001789971) (pow x 8)) (pow x 4)))))
28.6b
(- (* (+ (- (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)))) (- (fma (* 0.0140005442 (* (* (* x x) (* x x)) (* x x))) (pow x 2) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))))) (+ (- (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)))) (- (fma (* 0.0140005442 (* (* (* x x) (* x x)) (* x x))) (pow x 2) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))))) (* (* (* (* 2.0 0.0001789971) (pow x 8)) (pow x 4)) (* (* (* 2.0 0.0001789971) (pow x 8)) (pow x 4))))

rewrite133.0ms

Algorithm
rewrite-expression-head
Rules
252×associate-*l*
232×neg-mul-1
156×prod-diff
146×*-commutative
125×associate-*r*
110×distribute-lft-out
82×distribute-neg-out
75×swap-sqr
48×sqr-pow
42×difference-of-squares
41×sqr-neg
27×distribute-rgt-in distribute-lft-in
24×associate-/r*
22×fma-udef
20×frac-times
14×associate-+r+
12×flip3-+ times-frac flip-+
10×associate-*l/
8×associate-+l+ associate--l+
6×fma-neg
5×+-commutative
4×distribute-neg-in frac-2neg clear-num associate-/r/ associate-/l*
3×distribute-lft-neg-out flip3-- flip--
2×distribute-rgt-out fma-def associate-*r/ distribute-frac-neg distribute-rgt-neg-out div-inv
1×neg-sub0 sub-neg div-sub unsub-neg
Counts
4 → 276
Calls
4 calls:
7.0ms
(+ (* x (fma (* 2.0 0.0001789971) (* (pow x 8) (pow x 4)) (- (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)))))) (* x (* (- (pow x 2)) (fma 0.0140005442 (pow x 6) (* (pow x 8) 0.0008327945)))))
38.0ms
(* (/ (- (fma (* 0.0001789971 (pow x 6)) (pow x 4) (fma (* 0.0005064034 (pow x 7)) x (fma 0.0072644182 (pow x 6) (fma 0.0424060604 (pow x 4) (fma (* 0.1049934947 x) x 1.0)))))) (- (* (+ (- (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)))) (- (fma (* 0.0140005442 (* (* (* x x) (* x x)) (* x x))) (pow x 2) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))))) (+ (- (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)))) (- (fma (* 0.0140005442 (* (* (* x x) (* x x)) (* x x))) (pow x 2) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))))) (* (* (* (* 2.0 0.0001789971) (pow x 8)) (pow x 4)) (* (* (* 2.0 0.0001789971) (pow x 8)) (pow x 4))))) (+ (* x (fma (* 2.0 0.0001789971) (* (pow x 8) (pow x 4)) (- (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)))))) (* x (* (- (pow x 2)) (fma 0.0140005442 (pow x 6) (* (pow x 8) 0.0008327945))))))
33.0ms
(/ (- (fma (* 0.0001789971 (pow x 6)) (pow x 4) (fma (* 0.0005064034 (pow x 7)) x (fma 0.0072644182 (pow x 6) (fma 0.0424060604 (pow x 4) (fma (* 0.1049934947 x) x 1.0)))))) (- (* (+ (- (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)))) (- (fma (* 0.0140005442 (* (* (* x x) (* x x)) (* x x))) (pow x 2) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))))) (+ (- (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)))) (- (fma (* 0.0140005442 (* (* (* x x) (* x x)) (* x x))) (pow x 2) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))))) (* (* (* (* 2.0 0.0001789971) (pow x 8)) (pow x 4)) (* (* (* 2.0 0.0001789971) (pow x 8)) (pow x 4)))))
33.0ms
(- (* (+ (- (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)))) (- (fma (* 0.0140005442 (* (* (* x x) (* x x)) (* x x))) (pow x 2) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))))) (+ (- (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)))) (- (fma (* 0.0140005442 (* (* (* x x) (* x x)) (* x x))) (pow x 2) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))))) (* (* (* (* 2.0 0.0001789971) (pow x 8)) (pow x 4)) (* (* (* 2.0 0.0001789971) (pow x 8)) (pow x 4))))

series1.0s

Counts
4 → 12
Calls
4 calls:
126.0ms
(+ (* x (fma (* 2.0 0.0001789971) (* (pow x 8) (pow x 4)) (- (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)))))) (* x (* (- (pow x 2)) (fma 0.0140005442 (pow x 6) (* (pow x 8) 0.0008327945)))))
440.0ms
(* (/ (- (fma (* 0.0001789971 (pow x 6)) (pow x 4) (fma (* 0.0005064034 (pow x 7)) x (fma 0.0072644182 (pow x 6) (fma 0.0424060604 (pow x 4) (fma (* 0.1049934947 x) x 1.0)))))) (- (* (+ (- (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)))) (- (fma (* 0.0140005442 (* (* (* x x) (* x x)) (* x x))) (pow x 2) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))))) (+ (- (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)))) (- (fma (* 0.0140005442 (* (* (* x x) (* x x)) (* x x))) (pow x 2) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))))) (* (* (* (* 2.0 0.0001789971) (pow x 8)) (pow x 4)) (* (* (* 2.0 0.0001789971) (pow x 8)) (pow x 4))))) (+ (* x (fma (* 2.0 0.0001789971) (* (pow x 8) (pow x 4)) (- (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)))))) (* x (* (- (pow x 2)) (fma 0.0140005442 (pow x 6) (* (pow x 8) 0.0008327945))))))
288.0ms
(/ (- (fma (* 0.0001789971 (pow x 6)) (pow x 4) (fma (* 0.0005064034 (pow x 7)) x (fma 0.0072644182 (pow x 6) (fma 0.0424060604 (pow x 4) (fma (* 0.1049934947 x) x 1.0)))))) (- (* (+ (- (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)))) (- (fma (* 0.0140005442 (* (* (* x x) (* x x)) (* x x))) (pow x 2) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))))) (+ (- (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)))) (- (fma (* 0.0140005442 (* (* (* x x) (* x x)) (* x x))) (pow x 2) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))))) (* (* (* (* 2.0 0.0001789971) (pow x 8)) (pow x 4)) (* (* (* 2.0 0.0001789971) (pow x 8)) (pow x 4)))))
171.0ms
(- (* (+ (- (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)))) (- (fma (* 0.0140005442 (* (* (* x x) (* x x)) (* x x))) (pow x 2) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))))) (+ (- (fma 0.0694555761 (pow x 6) (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)))) (- (fma (* 0.0140005442 (* (* (* x x) (* x x)) (* x x))) (pow x 2) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))))) (* (* (* (* 2.0 0.0001789971) (pow x 8)) (pow x 4)) (* (* (* 2.0 0.0001789971) (pow x 8)) (pow x 4))))

simplify253.0ms

Algorithm
egg-herbie
Counts
288 → 288
Iterations

Useful iterations: 1 (42.0ms)

IterNodesCost
0180125080
1500221993

prune1.4s

Filtered
288 candidates to 86 candidates (29.9%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New2871288
Fresh112
Picked011
Done000
Total2883291

Merged error: 0b

Counts
291 → 3

localize76.0ms

Local error

Found 4 expressions with local error:

0.1b
(* 0.1049934947 (* x x))
25.4b
(fma x (fma (fma (* 0.0005064034 (pow x 7)) x (fma 0.0072644182 (pow x 6) (fma 0.0424060604 (pow x 4) (fma (* 0.1049934947 x) x 1.0)))) (fma 0.0072644182 (pow x 6) (fma 0.0424060604 (pow x 4) (fma (* 0.1049934947 x) x 1.0))) (* 0.0005064034 (* (pow x 8) (fma (* 0.0005064034 (* (* (* x x) (* x x)) (* x x))) (pow x 2) (fma 0.0072644182 (pow x 6) (fma 0.0424060604 (pow x 4) (fma (* 0.1049934947 x) x 1.0))))))) (* x (* (- (* 0.0001789971 0.0001789971)) (* (* (pow x 6) (pow x 6)) (* (pow x 6) (pow x 2))))))
25.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))))
28.6b
(/ (fma x (fma (fma (* 0.0005064034 (pow x 7)) x (fma 0.0072644182 (pow x 6) (fma 0.0424060604 (pow x 4) (fma (* 0.1049934947 x) x 1.0)))) (fma 0.0072644182 (pow x 6) (fma 0.0424060604 (pow x 4) (fma (* 0.1049934947 x) x 1.0))) (* 0.0005064034 (* (pow x 8) (fma (* 0.0005064034 (* (* (* x x) (* x x)) (* x x))) (pow x 2) (fma 0.0072644182 (pow x 6) (fma 0.0424060604 (pow x 4) (fma (* 0.1049934947 x) x 1.0))))))) (* x (* (- (* 0.0001789971 0.0001789971)) (* (* (pow x 6) (pow x 6)) (* (pow x 6) (pow x 2)))))) (* (+ (+ (+ (+ (+ (+ 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)))) (- (+ (+ (+ (+ 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))))))

rewrite308.0ms

Algorithm
rewrite-expression-head
Rules
12×associate-+l+
8×associate--l+ associate-/r/
4×+-commutative frac-times flip3-- flip--
3×flip3-+ *-commutative flip-+
2×associate-*r/ associate-*r* associate-*l/ associate-/r*
1×sub-neg frac-2neg clear-num fma-udef div-inv
Counts
4 → 29
Calls
4 calls:
3.0ms
(* 0.1049934947 (* x x))
1.0ms
(fma x (fma (fma (* 0.0005064034 (pow x 7)) x (fma 0.0072644182 (pow x 6) (fma 0.0424060604 (pow x 4) (fma (* 0.1049934947 x) x 1.0)))) (fma 0.0072644182 (pow x 6) (fma 0.0424060604 (pow x 4) (fma (* 0.1049934947 x) x 1.0))) (* 0.0005064034 (* (pow x 8) (fma (* 0.0005064034 (* (* (* x x) (* x x)) (* x x))) (pow x 2) (fma 0.0072644182 (pow x 6) (fma 0.0424060604 (pow x 4) (fma (* 0.1049934947 x) x 1.0))))))) (* x (* (- (* 0.0001789971 0.0001789971)) (* (* (pow x 6) (pow x 6)) (* (pow x 6) (pow x 2))))))
54.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))))
248.0ms
(/ (fma x (fma (fma (* 0.0005064034 (pow x 7)) x (fma 0.0072644182 (pow x 6) (fma 0.0424060604 (pow x 4) (fma (* 0.1049934947 x) x 1.0)))) (fma 0.0072644182 (pow x 6) (fma 0.0424060604 (pow x 4) (fma (* 0.1049934947 x) x 1.0))) (* 0.0005064034 (* (pow x 8) (fma (* 0.0005064034 (* (* (* x x) (* x x)) (* x x))) (pow x 2) (fma 0.0072644182 (pow x 6) (fma 0.0424060604 (pow x 4) (fma (* 0.1049934947 x) x 1.0))))))) (* x (* (- (* 0.0001789971 0.0001789971)) (* (* (pow x 6) (pow x 6)) (* (pow x 6) (pow x 2)))))) (* (+ (+ (+ (+ (+ (+ 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)))) (- (+ (+ (+ (+ 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))))))

series731.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(* 0.1049934947 (* x x))
222.0ms
(fma x (fma (fma (* 0.0005064034 (pow x 7)) x (fma 0.0072644182 (pow x 6) (fma 0.0424060604 (pow x 4) (fma (* 0.1049934947 x) x 1.0)))) (fma 0.0072644182 (pow x 6) (fma 0.0424060604 (pow x 4) (fma (* 0.1049934947 x) x 1.0))) (* 0.0005064034 (* (pow x 8) (fma (* 0.0005064034 (* (* (* x x) (* x x)) (* x x))) (pow x 2) (fma 0.0072644182 (pow x 6) (fma 0.0424060604 (pow x 4) (fma (* 0.1049934947 x) x 1.0))))))) (* x (* (- (* 0.0001789971 0.0001789971)) (* (* (pow x 6) (pow x 6)) (* (pow x 6) (pow x 2))))))
86.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))))
398.0ms
(/ (fma x (fma (fma (* 0.0005064034 (pow x 7)) x (fma 0.0072644182 (pow x 6) (fma 0.0424060604 (pow x 4) (fma (* 0.1049934947 x) x 1.0)))) (fma 0.0072644182 (pow x 6) (fma 0.0424060604 (pow x 4) (fma (* 0.1049934947 x) x 1.0))) (* 0.0005064034 (* (pow x 8) (fma (* 0.0005064034 (* (* (* x x) (* x x)) (* x x))) (pow x 2) (fma 0.0072644182 (pow x 6) (fma 0.0424060604 (pow x 4) (fma (* 0.1049934947 x) x 1.0))))))) (* x (* (- (* 0.0001789971 0.0001789971)) (* (* (pow x 6) (pow x 6)) (* (pow x 6) (pow x 2)))))) (* (+ (+ (+ (+ (+ (+ 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)))) (- (+ (+ (+ (+ 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))))))

simplify94.0ms

Algorithm
egg-herbie
Counts
41 → 41
Iterations

Useful iterations: 2 (77.0ms)

IterNodesCost
05312427
125721885
250021260

prune588.0ms

Filtered
41 candidates to 33 candidates (80.5%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New41041
Fresh011
Picked011
Done011
Total41344

Merged error: 0b

Counts
44 → 3

regimes79.0ms

Accuracy

100% (0.0b remaining)

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

bsearch469.0ms

Steps
ItersRangePoint
9
0.09117784756913819
2697524.489058797
682.6127473281792
8
-856385374775412.2
-39258024566.25627
-698637805588.4207

simplify32.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0116113
1134113
2146113
3155113
4174113
5196113
6243113
7319113
8414113
9490113
10521113
11533113
12555113
13559113
14564113
15569113
16588113
17604113
18631113
19655113
20682113
21708113
22712113
23717113
24722113
25729113
26729113

end0.0ms

sample879.0ms

Algorithm
intervals
Results
763.0ms8000×body80valid