Details

simplify5.1m (35.0%)

sample3.6m (24.8%)

Algorithm
60×intervals
Results
1.5m335311×body80valid
32.7s206939×body80nan
25.4s21587×body1280valid
9.4s10990×body640valid
5.1s5320×body2560valid
3.7s5156×body320valid
1.4s2496×body160valid
1.1s16512×pre80true
125.0ms230×body5120valid

prune2.6m (17.9%)

series1.8m (12.5%)

Calls

331 calls:

13.3s
(- (fma c b (* (* (* x 18.0) y) (* t z))) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))
13.1s
(- (fma c b (* x (* (* 18.0 y) (* t z)))) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))
12.1s
(- (fma c b (pow (* 18.0 (* (* x y) (* z t))) 1)) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))
5.4s
(/ (* (cbrt (fma (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y t)) (cbrt (fma (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y t))) (* (cbrt (fma (fma (fma (+ y a) y b) y c) y i)) (cbrt (fma (fma (fma (+ y a) y b) y c) y i))))
1.3s
(pow (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)) 3)

regimes38.4s (4.4%)

Accuracy

Total 54.5b remaining (33.1%)

Threshold costs 3.5b (2.1%)

14.6b-0.9%Linear.Matrix:det44 from linear-1.19.1.3
8.2b18.8%Linear.Matrix:det33 from linear-1.19.1.3
6.0b-11.8%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1
4.9b19.1%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
4.6b83.2%The quadratic formula (r1)

rewrite23.8s (2.7%)

Algorithm
103×rewrite-expression-head
Calls

331 calls:

1.4s
(* (- a x) (- (/ y (- (+ t 1.0) z)) (/ z (- (+ t 1.0) z))))
748.0ms
(+ (* (- a x) (- (/ y (- (+ t 1.0) z)) (/ z (- (+ t 1.0) z)))) x)
568.0ms
(- (/ y (- (+ t 1.0) z)) (/ z (- (+ t 1.0) z)))
433.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
399.0ms
(/ 1 (* z (/ 1 (* x y))))
Rules
13394×*-un-lft-identity
12857×times-frac
10877×add-sqr-sqrt
8118×add-cube-cbrt
5113×prod-diff
2744×add-exp-log
1943×distribute-lft-out--
1766×distribute-rgt-in distribute-lft-in
1539×prod-exp
1220×associate-+l+
1198×add-cbrt-cube
1182×difference-of-squares
1101×distribute-lft-out
887×cbrt-prod
821×pow1
799×distribute-rgt-neg-in
758×distribute-lft-neg-in
702×div-inv
695×associate--l+
645×associate-/r/
632×sqrt-prod
607×associate-*r*
532×associate-*l*
501×unpow-prod-up
489×flip3-- flip--
485×add-log-exp
479×div-exp
459×associate-/r*
430×unpow-prod-down
374×cbrt-unprod
351×associate-/l*
331×log1p-expm1-u expm1-log1p-u
306×pow-exp
305×pow-to-exp
255×fma-neg
222×neg-mul-1
204×pow-prod-down
192×fma-udef exp-sum
191×cbrt-undiv
162×unswap-sqr
153×sqr-pow
109×sub-neg
106×*-commutative
103×associate-*r/
100×fma-def
92×associate-+r+ frac-times
85×log-prod
82×associate-*l/
77×pow-unpow
76×swap-sqr
74×log-pow
64×frac-2neg clear-num
62×rec-exp 1-exp
58×tan-quot
53×flip-+ flip3-+
51×pow1/3 diff-log
50×sqrt-div
45×associate-/l/
44×distribute-neg-frac
35×exp-prod
34×sum-log
32×pow1/2 sqrt-pow1
29×pow-pow frac-sub
28×cbrt-div
24×rem-sqrt-square
17×+-commutative neg-sub0
16×cos-mult associate-+l- log-div
15×sin-mult
14×pow-flip
13×neg-log sub-div
12×cube-prod
11×inv-pow frac-add
10×rem-exp-log un-div-inv pow-prod-up pow-sqr pow-sub associate--l-
9×div-sub
8×distribute-rgt-out--
7×associate--r+
6×cube-div pow2 pow-plus
5×distribute-lft-neg-out
3×exp-diff exp-to-pow rem-log-exp
2×associate-+r- sqrt-unprod associate--r- unpow3 cube-mult distribute-frac-neg cos-sum tan-sum distribute-rgt-neg-out unpow2
1×rem-cube-cbrt rem-square-sqrt rem-cbrt-cube pow-neg

bsearch16.6s (1.9%)

localize7.0s (0.8%)

end2.0ms (0.0%)