Details

series10.6m (49.7%)

Calls

310 calls:

3.6s
(* (/ 1 (fma (fma (fma (+ a y) y b) y c) y i)) (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))
725.0ms
(* (cbrt t) (cbrt t))
704.0ms
(* (fma (fma y (fma (+ y a) y b) c) y i) (/ 1 (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t)))
657.0ms
(/ 1 (* (fma (fma y (fma (+ y a) y b) c) y i) (/ 1 (fma y (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) t))))
656.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))

simplify6.3m (29.4%)

sample2.6m (12.1%)

Algorithm
59×intervals
Results
49.2s262925×body80valid
31.3s209084×body80nan
29.4s21202×body1280valid
11.1s11193×body640valid
7.2s5250×body2560valid
3.7s5218×body320valid
1.2s2523×body160valid
1.2s16512×pre80true
298.0ms200×body5120valid

prune1.3m (6.2%)

regimes16.6s (1.3%)

Accuracy

Total 29.3b remaining (21.5%)

Threshold costs 5.0b (3.6%)

5.9b-10%Linear.Matrix:det33 from linear-1.19.1.3
4.3b84.2%The quadratic formula (r1)
3.3b32.5%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
3.1b88.7%NMSE problem 3.2.1
2.7b0%cos(2*x)/(cos^2(x)*sin^2(x))

rewrite9.6s (0.7%)

Algorithm
95×rewrite-expression-head
Calls

312 calls:

478.0ms
(+ (/ (- a x) (- (/ (+ 1.0 t) (- y z)) (/ z (- y z)))) x)
454.0ms
(+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c))
386.0ms
(+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c))
208.0ms
(* (* (* (* x 18.0) y) z) t)
204.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
Rules
7211×*-un-lft-identity
6635×times-frac
6361×add-sqr-sqrt
4278×add-cube-cbrt
1772×prod-diff
1455×add-exp-log
1165×add-cbrt-cube
1080×distribute-lft-out--
1070×pow1
879×difference-of-squares
514×cbrt-prod
495×sqrt-prod
494×associate-*r*
491×associate-/r*
489×prod-exp
464×add-log-exp
452×distribute-lft-out
388×cbrt-unprod
375×pow-prod-down
374×fma-def
373×associate-*l*
361×distribute-rgt-neg-in
345×div-inv
339×associate-/r/
333×distribute-lft-neg-in
313×log1p-expm1-u
312×expm1-log1p-u insert-posit16
299×div-exp
294×associate-/l*
235×fma-neg
218×flip-- flip3--
189×cbrt-undiv
168×exp-sum
145×tan-quot
120×distribute-rgt-in distribute-lft-in
113×unswap-sqr
107×neg-mul-1
97×associate-*r/
91×*-commutative
88×associate-*l/
82×frac-times
79×sub-neg
77×pow1/3
76×swap-sqr
60×frac-2neg 1-exp clear-num
57×diff-log
55×exp-prod
54×rec-exp sin-mult
52×associate-/l/
48×cos-mult
40×pow-prod-up pow-sqr
39×frac-sub flip-+ flip3-+ fma-udef
38×associate-+l+
36×distribute-rgt-out--
34×cbrt-div
32×log-prod
31×unpow-prod-down
29×sub-div log-pow
25×associate-+r+
24×sqrt-pow1
23×pow1/2
22×div-sub rem-exp-log
21×sum-log pow-unpow
20×rem-sqrt-square
18×associate--l+
17×pow-flip pow-plus
15×inv-pow
14×sqrt-div
12×+-commutative
11×exp-diff sqr-pow
10×pow2 distribute-neg-frac
9×neg-sub0 associate-+l-
8×un-div-inv frac-add
7×unpow2
6×pow-exp pow-pow
5×neg-log associate--l- pow-to-exp
4×distribute-frac-neg log-div
3×distribute-lft-neg-out cube-div cos-2 distribute-rgt-out
2×rem-cube-cbrt cos-sum tan-sum
1×expm1-log1p expm1-udef cube-prod associate-+r- log1p-expm1 log1p-udef unpow3 difference-of-sqr-1 sqrt-unprod cube-mult remove-posit16

localize5.3s (0.4%)

bsearch2.2s (0.2%)

end1.0ms (0.0%)