Details

series11.0m (60.0%)

Calls

311 calls:

11.5s
(/ (+ (pow (log (+ x y)) 3) (pow (log z) 3)) (fma (log (+ x y)) (log (+ x y)) (* (log z) (- (log z) (log (+ x y))))))
860.0ms
(/ (fma y (fma (fma (+ y a) y b) y c) i) (fma (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y t))
830.0ms
(fma x (- (* y z) (* t a)) (fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y)))))
728.0ms
(/ 1 (/ (fma y (fma (fma (+ y a) y b) y c) i) (fma (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y t)))
722.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin y) (tan z)) (cos y)))) (tan a))

simplify3.8m (20.7%)

sample2.1m (11.6%)

Algorithm
59×intervals
Results
35.7s263453×body80valid
25.2s208360×body80nan
18.6s21398×body1280valid
8.7s11047×body640valid
4.6s5203×body2560valid
2.7s4956×body320valid
1.1s16512×pre80true
729.0ms2526×body160valid
154.0ms211×body5120valid

prune53.6s (4.8%)

rewrite17.0s (1.5%)

Algorithm
97×rewrite-expression-head
Calls

313 calls:

814.0ms
(* (pow cos (/ 2.0 2)) (* (pow cos (/ 2.0 2)) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x)))
720.0ms
(/ (cos (* 2.0 x)) (* (pow cos (/ 2.0 2)) (* (pow cos (/ 2.0 2)) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x))))
600.0ms
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
473.0ms
(+ (/ (- a x) (/ (- (+ t 1.0) z) (- y z))) x)
441.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (/ (log (exp (* (sin y) (tan z)))) (cos y)))) (tan a))
Rules
7625×times-frac
6272×*-un-lft-identity
5940×add-sqr-sqrt
4650×add-cube-cbrt
4544×add-exp-log
3427×prod-exp
1499×cbrt-prod
1190×prod-diff
1158×add-cbrt-cube
825×pow-exp
822×pow-to-exp
801×pow1
708×distribute-rgt-neg-in
684×unpow-prod-down
671×distribute-lft-neg-in
574×cube-prod
547×distribute-lft-out--
543×difference-of-squares
532×div-exp
491×associate-*r*
453×sqrt-prod
434×add-log-exp
414×cbrt-unprod
395×associate-/r*
370×associate-/l*
345×div-inv
335×distribute-lft-out
313×log1p-expm1-u expm1-log1p-u
295×associate-*l*
282×fma-neg
225×fma-def
222×neg-mul-1
185×pow-prod-down
182×cbrt-undiv
162×flip3-- flip--
154×associate-/r/
122×log-pow
109×sqr-pow
92×unswap-sqr
87×*-commutative
83×cbrt-div
82×associate-+r+
81×distribute-rgt-in distribute-lft-in
80×associate-*r/
70×sub-neg
60×log-prod
57×clear-num frac-2neg
54×unpow3 sqrt-div cube-mult
52×exp-prod
47×pow1/3
46×diff-log fma-udef
45×pow-unpow
42×pow1/2 sqrt-pow1
41×associate-*l/
39×associate-/l/
36×flip-+ flip3-+ exp-sum
35×frac-times
34×tan-quot
32×rem-sqrt-square sin-mult
30×pow-pow 1-exp neg-sub0 rec-exp
27×cos-mult
22×frac-sub
21×unpow-prod-up
19×associate-+l+
18×sum-log
17×pow-sub swap-sqr
16×pow-neg
15×sub-div
12×neg-log log-div
11×div-sub
10×rem-exp-log +-commutative
9×inv-pow pow-flip associate-+l- associate--l-
7×rem-cube-cbrt distribute-neg-in pow-prod-up
6×cube-div associate-+r-
5×exp-diff pow-sqr associate--l+
4×difference-cubes un-div-inv distribute-rgt-out sum-cubes associate--r+
3×exp-neg distribute-rgt-out-- rem-log-exp
2×distribute-lft-neg-out distribute-lft1-in sqrt-unprod associate--r- pow2 frac-add distribute-neg-frac pow-plus distribute-frac-neg tan-sum cos-sum exp-to-pow unpow2
1×unpow1/2 rem-square-sqrt cube-neg

regimes8.8s (0.8%)

Accuracy

Total 36.9b remaining (28%)

Threshold costs 2.7b (2%)

9.0b26.3%Linear.Matrix:det33 from linear-1.19.1.3
4.2b15.1%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
4.0b85.9%NMSE problem 3.2.1
3.7b40.4%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1
3.3b31.5%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

localize3.9s (0.4%)

bsearch1.9s (0.2%)

end0.0ms (0.0%)