Details

series10.6m (75.8%)

Calls

316 calls:

3.0s
(fma (/ (+ (tan y) (tan z)) (- 1 (pow (* (tan y) (tan z)) 3))) (fma (fma (tan y) (tan z) 1) (* (tan y) (tan z)) 1) (+ (- (tan a)) x))
666.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))))
632.0ms
(pow (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)) 3)
622.0ms
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (- (* c z) (* i a))))))
573.0ms
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (+ (* z (* b c)) (- (* a (* i b))))))

prune1.8m (12.9%)

sample56.7s (6.8%)

Algorithm
59×intervals
Results
14.4s263353×body80valid
9.4s21522×body1280valid
9.1s208633×body80nan
3.3s11060×body640valid
2.7s5290×body2560valid
1.0s5152×body320valid
638.0ms16512×pre80true
325.0ms2406×body160valid
71.0ms224×body5120valid

rewrite14.1s (1.7%)

Algorithm
96×rewrite-expression-head
Calls

320 calls:

745.0ms
(* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t))
664.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))))
535.0ms
(/ (+ (* (+ (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) y)) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
455.0ms
(/ (fma (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y t) (* (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))) 1))
453.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)))))
Rules
12343×times-frac
8406×*-un-lft-identity
7755×add-sqr-sqrt
6696×add-cube-cbrt
2096×add-exp-log
1543×unpow-prod-down
1442×prod-diff
1394×cbrt-prod
1153×add-cbrt-cube
1001×distribute-rgt-neg-in
979×prod-exp
976×distribute-lft-neg-in
962×pow1
867×associate-*r/
844×associate-*l/
699×flip-- flip3--
681×associate-/r*
579×frac-sub
557×cube-prod
514×distribute-lft-out
509×associate-*r*
506×distribute-lft-out--
502×div-inv
496×sqrt-prod
492×cbrt-unprod
473×add-log-exp
434×frac-times
400×div-exp
382×difference-of-squares
336×associate-/l*
332×associate-*l*
326×exp-sum
320×log1p-expm1-u expm1-log1p-u
316×fma-udef
311×neg-mul-1
302×log-pow
298×sqrt-div
257×pow-prod-down
232×fma-neg
220×cbrt-undiv
213×associate-/r/
212×exp-prod
196×associate-/l/
191×flip-+ flip3-+
174×associate--r+
171×distribute-rgt-in distribute-lft-in
158×pow-exp
141×pow-to-exp
129×fma-def
117×sqr-pow
116×unswap-sqr
101×cbrt-div
92×associate-+r+
91×*-commutative
81×sub-neg
67×log-prod
62×clear-num pow1/3 frac-2neg
52×neg-sub0
50×1-exp
49×diff-log
43×sum-log
42×rec-exp
41×associate-+l+
37×rem-sqrt-square
35×exp-diff
34×exp-neg
32×tan-quot associate-+l- sqrt-pow1
27×pow1/2
25×distribute-neg-in
22×sin-mult
19×pow-unpow unpow3 cube-mult +-commutative associate--l+
18×log-div
17×distribute-neg-frac
16×cos-mult
15×neg-log
14×div-sub
13×pow-prod-up sub-div
12×cube-div frac-add pow-flip
11×associate--l- inv-pow pow-pow
9×pow-plus swap-sqr
7×rem-exp-log pow-sqr
6×distribute-frac-neg
5×rem-cube-cbrt un-div-inv pow2
3×rem-cbrt-cube
2×cos-sum pow3 distribute-rgt-out-- tan-sum rem-log-exp associate-+r-
1×unpow1/2 quot-tan sqrt-unprod log-rec

regimes11.3s (1.3%)

Accuracy

Total 33.7b remaining (26.1%)

Threshold costs 3.0b (2.3%)

7.1b13%Linear.Matrix:det33 from linear-1.19.1.3
4.0b85.9%NMSE problem 3.2.1
3.9b25.1%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
3.2b89.2%The quadratic formula (r1)
3.0b39.7%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

simplify8.6s (1.0%)

Algorithm
154×egg-herbie

localize2.3s (0.3%)

bsearch2.0s (0.2%)

end1.0ms (0.0%)