Details

Time bar (total: 2.5m)

sample63.0ms

Algorithm
intervals
Results
34.0ms256×body80valid

simplify108.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (21.0ms)

IterNodesCost
013286
155778
2262241
3500141

prune28.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 24.9b

Counts
2 → 2

localize47.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (* x x) (* 2.0 0.0001789971))
0.6b
(* (* x x) 0.0001789971)
12.0b
(/ x (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))
21.6b
(/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))

rewrite94.0ms

Algorithm
rewrite-expression-head
Rules
126×times-frac
120×associate-*r/ frac-add
102×flip3-+ flip-+
71×associate-/r/
70×add-sqr-sqrt
69×add-cube-cbrt *-un-lft-identity
30×associate-/r*
28×add-exp-log add-cbrt-cube
21×pow1
14×associate-/l/
11×pow-prod-down prod-exp cbrt-unprod
6×div-inv associate-/l*
4×cbrt-undiv div-exp associate-*r* add-log-exp
2×frac-2neg associate-*l* clear-num *-commutative
1×unswap-sqr
Counts
4 → 222
Calls
4 calls:
7.0ms
(* (* x x) (* 2.0 0.0001789971))
10.0ms
(* (* x x) 0.0001789971)
27.0ms
(/ x (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))
33.0ms
(/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))

series634.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(* (* x x) (* 2.0 0.0001789971))
29.0ms
(* (* x x) 0.0001789971)
325.0ms
(/ x (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))
247.0ms
(/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))

simplify161.0ms

Algorithm
egg-herbie
Counts
234 → 234
Iterations

Useful iterations: 1 (38.0ms)

IterNodesCost
0180614329
1500213828

prune4.4s

Filtered
234 candidates to 195 candidates (16.7%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New2304234
Fresh101
Picked101
Done000
Total2324236

Merged error: 0b

Counts
236 → 4

localize51.0ms

Local error

Found 4 expressions with local error:

0.6b
(* (* x x) 0.0001789971)
9.7b
(cbrt (pow (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))) 3))
12.0b
(/ x (cbrt (pow (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))) 3)))
21.6b
(/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))

rewrite153.0ms

Algorithm
rewrite-expression-head
Rules
300×cbrt-prod
288×times-frac
240×associate-*r/ frac-add
204×flip3-+ flip-+
157×add-sqr-sqrt
156×add-cube-cbrt *-un-lft-identity
155×associate-/r/
135×unpow-prod-down cube-prod
66×associate-/r*
14×associate-/l/
13×add-exp-log
12×add-cbrt-cube div-inv
9×pow1
6×associate-/l*
5×cube-mult unpow3 sqr-pow
4×add-log-exp
3×associate-*r* pow-prod-down prod-exp cbrt-unprod
2×cbrt-undiv cube-div cbrt-div frac-2neg div-exp clear-num
1×pow1/3 associate-*l* *-commutative rem-cbrt-cube unswap-sqr
Counts
4 → 412
Calls
4 calls:
6.0ms
(* (* x x) 0.0001789971)
29.0ms
(cbrt (pow (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))) 3))
42.0ms
(/ x (cbrt (pow (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))) 3)))
34.0ms
(/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))

series835.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(* (* x x) 0.0001789971)
242.0ms
(cbrt (pow (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))) 3))
321.0ms
(/ x (cbrt (pow (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))) 3)))
243.0ms
(/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))

simplify332.0ms

Algorithm
egg-herbie
Counts
424 → 424
Iterations

Useful iterations: 1 (42.0ms)

IterNodesCost
0202232998
1500232809

prune6.6s

Filtered
424 candidates to 230 candidates (45.8%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New4240424
Fresh033
Picked011
Done000
Total4244428

Merged error: 0b

Counts
428 → 4

localize55.0ms

Local error

Found 4 expressions with local error:

5.6b
(cbrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))
5.6b
(cbrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))
15.1b
(/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (cbrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))
23.7b
(* (* (cbrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))) (cbrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))) (/ x (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (cbrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))))

rewrite299.0ms

Algorithm
rewrite-expression-head
Rules
1369×associate-*r/
1340×frac-add
1139×flip3-+ flip-+
924×cbrt-div
616×frac-times
252×associate-*l/
185×times-frac
113×associate-*r*
106×add-sqr-sqrt
97×add-cube-cbrt *-un-lft-identity
57×associate-/r/
46×cbrt-prod
27×add-exp-log
18×add-cbrt-cube
14×associate-/l/
9×pow1 prod-exp cbrt-unprod
7×cbrt-undiv div-exp
6×associate-/r*
5×div-inv
4×add-log-exp unswap-sqr
3×pow-prod-down associate-/l*
2×pow1/3
1×frac-2neg associate-*l* clear-num *-commutative
Counts
4 → 706
Calls
4 calls:
10.0ms
(cbrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))
10.0ms
(cbrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))
40.0ms
(/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (cbrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))
100.0ms
(* (* (cbrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))) (cbrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))) (/ x (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (cbrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))))

series1.6s

Counts
4 → 12
Calls
4 calls:
361.0ms
(cbrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))
357.0ms
(cbrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))
557.0ms
(/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (cbrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))
330.0ms
(* (* (cbrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))) (cbrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))) (/ x (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (cbrt (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))))

simplify889.0ms

Algorithm
egg-herbie
Counts
718 → 718
Iterations

Useful iterations: 0 (25.0ms)

IterNodesCost
05001102125

prune32.4s

Filtered
718 candidates to 611 candidates (14.9%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New7180718
Fresh022
Picked011
Done011
Total7184722

Merged error: 0b

Counts
722 → 4

localize86.0ms

Local error

Found 4 expressions with local error:

9.6b
(- (* (* (* x x) (* 2.0 0.0001789971)) (* (* x x) (* 2.0 0.0001789971))) (* 0.0008327945 (* (* x x) (* 2.0 0.0001789971))))
9.6b
(- (* (* (* x x) (* 2.0 0.0001789971)) (* (* x x) (* 2.0 0.0001789971))) (* 0.0008327945 (* (* x x) (* 2.0 0.0001789971))))
12.0b
(/ x (/ (+ (* (+ (* (* (* x (* (pow (* x x) 3) (pow x 3))) (+ (pow 0.0008327945 3) (pow (* (* x x) (* 2.0 0.0001789971)) 3))) (- (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (+ (* 0.0008327945 0.0008327945) (- (* (* (* x x) (* 2.0 0.0001789971)) (* (* x x) (* 2.0 0.0001789971))) (* 0.0008327945 (* (* x x) (* 2.0 0.0001789971))))) (- (* (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x))))) (* 1.0 1.0)))) (- 0.0694555761 (* (* x x) 0.0140005442))) (* (* (+ (* 0.0008327945 0.0008327945) (- (* (* (* x x) (* 2.0 0.0001789971)) (* (* x x) (* 2.0 0.0001789971))) (* 0.0008327945 (* (* x x) (* 2.0 0.0001789971))))) (- (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (- (* 0.0694555761 0.0694555761) (* (* (* x x) 0.0140005442) (* (* x x) 0.0140005442)))))) (* (* (- 0.0694555761 (* (* x x) 0.0140005442)) (* (- (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0) (+ (* (* (* x x) (* 2.0 0.0001789971)) (- (* (* x x) (* 2.0 0.0001789971)) 0.0008327945)) (* 0.0008327945 0.0008327945)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))))
23.3b
(/ (+ (* (+ (* (* (* x (* (pow (* x x) 3) (pow x 3))) (+ (pow 0.0008327945 3) (pow (* (* x x) (* 2.0 0.0001789971)) 3))) (- (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (+ (* 0.0008327945 0.0008327945) (- (* (* (* x x) (* 2.0 0.0001789971)) (* (* x x) (* 2.0 0.0001789971))) (* 0.0008327945 (* (* x x) (* 2.0 0.0001789971))))) (- (* (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x))))) (* 1.0 1.0)))) (- 0.0694555761 (* (* x x) 0.0140005442))) (* (* (+ (* 0.0008327945 0.0008327945) (- (* (* (* x x) (* 2.0 0.0001789971)) (* (* x x) (* 2.0 0.0001789971))) (* 0.0008327945 (* (* x x) (* 2.0 0.0001789971))))) (- (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (- (* 0.0694555761 0.0694555761) (* (* (* x x) 0.0140005442) (* (* x x) 0.0140005442)))))) (* (* (- 0.0694555761 (* (* x x) 0.0140005442)) (* (- (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0) (+ (* (* (* x x) (* 2.0 0.0001789971)) (- (* (* x x) (* 2.0 0.0001789971)) 0.0008327945)) (* 0.0008327945 0.0008327945)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))

rewrite2.7s

Algorithm
rewrite-expression-head
Rules
17944×frac-times
15312×associate-*r/
12892×frac-add
10438×flip3-- flip--
8593×flip3-+ flip-+
7742×associate-*l/
5202×associate-/l/
2021×associate-/r/
1248×times-frac
426×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
412×associate-/r*
38×add-exp-log add-cbrt-cube
13×cbrt-undiv div-exp
12×prod-exp cbrt-unprod
8×add-log-exp
6×div-inv associate-/l*
4×pow1
2×sub-neg distribute-rgt-out-- frac-2neg diff-log clear-num
Counts
4 → 7325
Calls
4 calls:
23.0ms
(- (* (* (* x x) (* 2.0 0.0001789971)) (* (* x x) (* 2.0 0.0001789971))) (* 0.0008327945 (* (* x x) (* 2.0 0.0001789971))))
16.0ms
(- (* (* (* x x) (* 2.0 0.0001789971)) (* (* x x) (* 2.0 0.0001789971))) (* 0.0008327945 (* (* x x) (* 2.0 0.0001789971))))
154.0ms
(/ x (/ (+ (* (+ (* (* (* x (* (pow (* x x) 3) (pow x 3))) (+ (pow 0.0008327945 3) (pow (* (* x x) (* 2.0 0.0001789971)) 3))) (- (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (+ (* 0.0008327945 0.0008327945) (- (* (* (* x x) (* 2.0 0.0001789971)) (* (* x x) (* 2.0 0.0001789971))) (* 0.0008327945 (* (* x x) (* 2.0 0.0001789971))))) (- (* (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x))))) (* 1.0 1.0)))) (- 0.0694555761 (* (* x x) 0.0140005442))) (* (* (+ (* 0.0008327945 0.0008327945) (- (* (* (* x x) (* 2.0 0.0001789971)) (* (* x x) (* 2.0 0.0001789971))) (* 0.0008327945 (* (* x x) (* 2.0 0.0001789971))))) (- (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (- (* 0.0694555761 0.0694555761) (* (* (* x x) 0.0140005442) (* (* x x) 0.0140005442)))))) (* (* (- 0.0694555761 (* (* x x) 0.0140005442)) (* (- (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0) (+ (* (* (* x x) (* 2.0 0.0001789971)) (- (* (* x x) (* 2.0 0.0001789971)) 0.0008327945)) (* 0.0008327945 0.0008327945)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))))
564.0ms
(/ (+ (* (+ (* (* (* x (* (pow (* x x) 3) (pow x 3))) (+ (pow 0.0008327945 3) (pow (* (* x x) (* 2.0 0.0001789971)) 3))) (- (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (+ (* 0.0008327945 0.0008327945) (- (* (* (* x x) (* 2.0 0.0001789971)) (* (* x x) (* 2.0 0.0001789971))) (* 0.0008327945 (* (* x x) (* 2.0 0.0001789971))))) (- (* (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x))))) (* 1.0 1.0)))) (- 0.0694555761 (* (* x x) 0.0140005442))) (* (* (+ (* 0.0008327945 0.0008327945) (- (* (* (* x x) (* 2.0 0.0001789971)) (* (* x x) (* 2.0 0.0001789971))) (* 0.0008327945 (* (* x x) (* 2.0 0.0001789971))))) (- (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (- (* 0.0694555761 0.0694555761) (* (* (* x x) 0.0140005442) (* (* x x) 0.0140005442)))))) (* (* (- 0.0694555761 (* (* x x) 0.0140005442)) (* (- (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0) (+ (* (* (* x x) (* 2.0 0.0001789971)) (- (* (* x x) (* 2.0 0.0001789971)) 0.0008327945)) (* 0.0008327945 0.0008327945)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))

series1.6s

Counts
4 → 12
Calls
4 calls:
134.0ms
(- (* (* (* x x) (* 2.0 0.0001789971)) (* (* x x) (* 2.0 0.0001789971))) (* 0.0008327945 (* (* x x) (* 2.0 0.0001789971))))
132.0ms
(- (* (* (* x x) (* 2.0 0.0001789971)) (* (* x x) (* 2.0 0.0001789971))) (* 0.0008327945 (* (* x x) (* 2.0 0.0001789971))))
696.0ms
(/ x (/ (+ (* (+ (* (* (* x (* (pow (* x x) 3) (pow x 3))) (+ (pow 0.0008327945 3) (pow (* (* x x) (* 2.0 0.0001789971)) 3))) (- (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (+ (* 0.0008327945 0.0008327945) (- (* (* (* x x) (* 2.0 0.0001789971)) (* (* x x) (* 2.0 0.0001789971))) (* 0.0008327945 (* (* x x) (* 2.0 0.0001789971))))) (- (* (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x))))) (* 1.0 1.0)))) (- 0.0694555761 (* (* x x) 0.0140005442))) (* (* (+ (* 0.0008327945 0.0008327945) (- (* (* (* x x) (* 2.0 0.0001789971)) (* (* x x) (* 2.0 0.0001789971))) (* 0.0008327945 (* (* x x) (* 2.0 0.0001789971))))) (- (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (- (* 0.0694555761 0.0694555761) (* (* (* x x) 0.0140005442) (* (* x x) 0.0140005442)))))) (* (* (- 0.0694555761 (* (* x x) 0.0140005442)) (* (- (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0) (+ (* (* (* x x) (* 2.0 0.0001789971)) (- (* (* x x) (* 2.0 0.0001789971)) 0.0008327945)) (* 0.0008327945 0.0008327945)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))))
598.0ms
(/ (+ (* (+ (* (* (* x (* (pow (* x x) 3) (pow x 3))) (+ (pow 0.0008327945 3) (pow (* (* x x) (* 2.0 0.0001789971)) 3))) (- (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (+ (* 0.0008327945 0.0008327945) (- (* (* (* x x) (* 2.0 0.0001789971)) (* (* x x) (* 2.0 0.0001789971))) (* 0.0008327945 (* (* x x) (* 2.0 0.0001789971))))) (- (* (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x))))) (* 1.0 1.0)))) (- 0.0694555761 (* (* x x) 0.0140005442))) (* (* (+ (* 0.0008327945 0.0008327945) (- (* (* (* x x) (* 2.0 0.0001789971)) (* (* x x) (* 2.0 0.0001789971))) (* 0.0008327945 (* (* x x) (* 2.0 0.0001789971))))) (- (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (- (* 0.0694555761 0.0694555761) (* (* (* x x) 0.0140005442) (* (* x x) 0.0140005442)))))) (* (* (- 0.0694555761 (* (* x x) 0.0140005442)) (* (- (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0) (+ (* (* (* x x) (* 2.0 0.0001789971)) (- (* (* x x) (* 2.0 0.0001789971)) 0.0008327945)) (* 0.0008327945 0.0008327945)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))

simplify11.0s

Algorithm
egg-herbie
Counts
7337 → 7337
Iterations

Useful iterations: 0 (212.0ms)

IterNodesCost
0151251208930

prune1.4m

Filtered
7337 candidates to 7327 candidates (0.1%)

Profiling

Loading profile data...