Details

simplify5.3m (59.7%)

sample1.2m (13.9%)

Algorithm
73×intervals
Results
27.5s294370×body80valid
9.6s13911×body1280valid
5.7s16922×body160valid
4.1s3785×body2560valid
3.5s9351×body640valid
2.7s2209×body10240exit
2.5s100585×pre80true
2.2s19228×body80nan
1.9s6694×body320valid
202.0ms225×body5120valid
3.0ms100×pre80false

prune60.0s (11.2%)

series45.2s (8.4%)

Calls

296 calls:

2.3s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
1.0s
(* (pow y 6.0) 333.75)
845.0ms
(expm1 (log1p (* (pow y 6.0) 333.75)))
762.0ms
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (fma (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (pow (* x1 x1) 3) (pow 1.0 3))) (+ (* (* x1 x1) (* x1 x1)) (- (* 1.0 1.0) (* (* x1 x1) 1.0))) (- 3.0))) (+ (* 4.0 (* (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) (pow x1 2))) (* (* x1 x1) (- 6.0))))
659.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

rewrite28.2s (5.3%)

Algorithm
104×rewrite-expression-head
Calls

296 calls:

1.8s
(+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0)))
1.6s
(- (- (+ 3.0 (/ (/ 2.0 r) r)) (* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (pow (fabs (* w r)) 2))) 4.5)
1.6s
(+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))
1.2s
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* 4.0 (* (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) (pow x1 2))) (* (* x1 x1) (- 6.0))))
1.1s
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
Rules
8331×times-frac
8141×*-un-lft-identity
7514×add-sqr-sqrt
6260×add-cube-cbrt
4359×prod-diff
1198×add-exp-log
1048×add-cbrt-cube
797×associate-+l+
707×distribute-lft-out distribute-rgt-in distribute-lft-in
681×associate-*l*
658×associate-*r*
641×pow1
634×add-log-exp
609×div-inv
561×unpow-prod-down
470×difference-of-squares
334×prod-exp
310×sqrt-prod
305×associate-/l*
297×log1p-expm1-u
296×expm1-log1p-u
289×cube-prod
279×cbrt-prod
263×cbrt-unprod
259×distribute-lft-out--
253×div-exp
242×sqr-pow
238×flip-+ flip3-+
233×associate-/r*
224×fma-neg associate-/r/
221×cbrt-undiv
182×associate-*r/
180×flip-- flip3--
174×unswap-sqr
172×frac-times
166×distribute-rgt-neg-in
164×associate-*l/
154×distribute-lft-neg-in
140×pow-prod-down
139×sum-log
121×fma-def
95×frac-sub
89×unpow3 cube-mult
81×exp-neg
76×sub-neg
72×*-commutative
71×swap-sqr
68×neg-sub0
64×diff-log log-prod
62×associate-/l/
61×exp-diff
58×clear-num frac-2neg
53×frac-add
52×neg-mul-1
47×sqrt-pow1
40×pow-exp
35×associate-+r+
34×fma-udef pow1/3
33×sqrt-div
32×+-commutative
30×cbrt-div exp-sum
29×pow-to-exp
27×pow1/2 pow-prod-up
26×div-sub
24×unpow2
23×rem-sqrt-square log-pow
20×un-div-inv associate--l+
19×pow-sqr
15×pow-plus
12×pow-unpow
11×pow2
10×cube-div 1-exp exp-prod rec-exp
9×rem-cube-cbrt hypot-udef
8×associate--l-
7×distribute-frac-neg
6×log-div
5×neg-log associate-+r- associate--r+ pow-pow
4×distribute-lft-neg-out pow-flip rem-cbrt-cube distribute-rgt-neg-out rem-log-exp
3×rem-exp-log expm1-udef unsub-neg distribute-rgt-out-- associate-+l-
2×log1p-udef inv-pow expm1-log1p sum-cubes
1×sqrt-unprod pow3 log1p-expm1 sub-div rem-square-sqrt distribute-rgt-out

regimes5.0s (0.9%)

Accuracy

Total 33.2b remaining (14.7%)

Threshold costs 3.7b (1.6%)

10.9b57%Compound Interest
10.4b26.8%Complex division, real part
4.3b87.3%The quadratic formula (r1)
1.3b91.9%NMSE Section 6.1 mentioned, A
1.3b94.7%The quadratic formula (r2)

localize2.3s (0.4%)

bsearch1.3s (0.2%)

end1.0ms (0.0%)