Details

series10.7m (80.7%)

Calls

329 calls:

2.9s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.9s
(fma t (- (* 18.0 (* x (* z y))) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.9s
(fma t (- (* 18.0 (* (* x z) y)) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
716.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
662.0ms
(cbrt (fma (log t) (- a 0.5) (- (+ (log (+ x y)) (log z)) t)))

sample1.3m (9.8%)

Algorithm
59×intervals
Results
26.6s264147×body80valid
15.9s208850×body80nan
10.5s21319×body1280valid
3.8s11010×body640valid
3.3s5238×body2560valid
1.2s4985×body320valid
937.0ms16512×pre80true
437.0ms2490×body160valid
98.0ms200×body5120valid

prune47.8s (6.0%)

simplify9.0s (1.1%)

Algorithm
159×egg-herbie

regimes7.2s (0.9%)

Accuracy

Total 31.2b remaining (23.4%)

Threshold costs 4.8b (3.6%)

5.2b81.4%NMSE problem 3.2.1
5.0b79%The quadratic formula (r1)
4.0b5.8%Linear.Matrix:det33 from linear-1.19.1.3
2.9b50.4%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1
2.7b21.4%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

rewrite6.6s (0.8%)

Algorithm
101×rewrite-expression-head
Calls

331 calls:

293.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
265.0ms
(exp (+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))))
213.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
188.0ms
(/ 1 (- (/ f (- (+ f n))) (/ n (- (+ f n)))))
178.0ms
(- (/ f (- (+ f n))) (/ n (- (+ f n))))
Rules
8291×*-un-lft-identity
7205×times-frac
6402×add-sqr-sqrt
5355×add-cube-cbrt
3286×prod-diff
1981×add-exp-log
1957×distribute-rgt-neg-in
1829×distribute-lft-neg-in
1124×add-cbrt-cube
989×distribute-lft-out
866×associate-*r/
851×prod-exp
819×associate-*l/
707×pow1
671×flip-- flip3--
588×sqrt-prod
579×associate-*r*
568×frac-sub
509×cbrt-prod
495×add-log-exp
486×associate-*l*
481×neg-mul-1
430×div-exp
425×distribute-lft-out--
419×frac-times
414×associate-/r*
397×difference-of-squares
366×associate-/r/
346×fma-neg
331×log1p-expm1-u expm1-log1p-u
319×div-inv
312×flip-+ flip3-+
296×sqrt-div cbrt-unprod
273×associate-/l*
230×distribute-neg-frac
212×cbrt-undiv
211×associate-/l/
208×swap-sqr
185×distribute-rgt-in distribute-lft-in
168×pow-exp
159×unpow-prod-down
148×pow-to-exp
147×associate-+r+
143×pow-prod-down
133×unswap-sqr
104×cube-prod
92×*-commutative
88×sub-neg
81×fma-def
75×associate--r+
69×clear-num frac-2neg
62×sqr-pow
60×cbrt-div diff-log
55×1-exp
54×pow1/3
51×fma-udef
50×log-prod
47×log-pow rec-exp
39×associate-+l+
36×pow1/2 sqrt-pow1
31×exp-prod
30×tan-quot
28×sum-log
26×rem-sqrt-square
24×neg-sub0 sin-mult exp-sum
20×pow-unpow neg-log
19×cos-mult
17×+-commutative associate-+l-
16×associate--l-
15×pow-prod-up distribute-rgt-out--
14×div-sub
13×sub-div pow-sqr
12×pow-flip
11×pow-pow
10×cube-div rem-exp-log inv-pow log-div
9×rem-cube-cbrt
8×un-div-inv pow2
7×unpow3 cube-mult pow-plus
6×associate-+r- associate--l+
5×frac-add distribute-neg-in unpow-prod-up
4×exp-diff
3×rem-cbrt-cube
2×sqrt-unprod distribute-frac-neg cos-sum tan-sum
1×distribute-lft-neg-out exp-neg pow-sub rem-square-sqrt rem-log-exp

bsearch2.5s (0.3%)

localize2.4s (0.3%)

end1.0ms (0.0%)