Details

series10.9m (60.3%)

Calls

313 calls:

2.4s
(/ (- (* (* (+ (tan y) (tan z)) (cos a)) (* (+ (tan y) (tan z)) (cos a))) (* (* (- 1 (* (tan y) (tan z))) (sin a)) (* (- 1 (* (tan y) (tan z))) (sin a)))) (* (* (- 1 (* (tan y) (tan z))) (cos a)) (fma (+ (tan y) (tan z)) (cos a) (* (- 1 (* (tan y) (tan z))) (sin a)))))
2.1s
(/ (- (/ (* (* (* (cos a) (fma (sin y) (cos z) (* (cos y) (sin z)))) (+ (tan y) (tan z))) (cos a)) (* (cos y) (cos z))) (* (* (- 1 (* (tan y) (tan z))) (sin a)) (* (- 1 (* (tan y) (tan z))) (sin a)))) (* (* (- 1 (* (tan y) (tan z))) (cos a)) (fma (+ (tan y) (tan z)) (cos a) (* (- 1 (* (tan y) (tan z))) (sin a)))))
876.0ms
(fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))
850.0ms
(* (* (- 1 (* (tan y) (tan z))) (cos a)) (fma (+ (tan y) (tan z)) (cos a) (* (- 1 (* (tan y) (tan z))) (sin a))))
843.0ms
(fma x (- (* y z) (* t a)) (fma b (- (* i a) (* c z)) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))

simplify3.5m (19.2%)

sample2.1m (11.8%)

Algorithm
59×intervals
Results
36.3s262441×body80valid
25.8s205854×body80nan
20.4s21547×body1280valid
7.2s11187×body640valid
4.2s5288×body2560valid
2.2s5059×body320valid
923.0ms16512×pre80true
763.0ms2481×body160valid
133.0ms234×body5120valid

prune59.7s (5.5%)

rewrite19.6s (1.8%)

Algorithm
101×rewrite-expression-head
Calls

315 calls:

1.4s
(* (- (/ y (- (+ t 1.0) z)) (/ z (- (+ t 1.0) z))) (- x))
1.1s
(* a (- (/ y (- (+ t 1.0) z)) (/ z (- (+ t 1.0) z))))
1.0s
(* (- (/ y (- (+ t 1.0) z)) (/ z (- (+ t 1.0) z))) (- a x))
898.0ms
(+ x (+ (* a (- (/ y (- (+ t 1.0) z)) (/ z (- (+ t 1.0) z)))) (* (- (/ y (- (+ t 1.0) z)) (/ z (- (+ t 1.0) z))) (- x))))
479.0ms
(/ (- (* (* (+ (tan y) (tan z)) (cos a)) (* (+ (tan y) (tan z)) (cos a))) (* (* (- 1 (* (tan y) (tan z))) (sin a)) (* (- 1 (* (tan y) (tan z))) (sin a)))) (* (* (- 1 (* (tan y) (tan z))) (cos a)) (fma (+ (tan y) (tan z)) (cos a) (* (- 1 (* (tan y) (tan z))) (sin a)))))
Rules
7327×*-un-lft-identity
6524×times-frac
6014×add-sqr-sqrt
4354×add-cube-cbrt
2854×add-exp-log
2043×prod-diff
1655×prod-exp
1278×add-cbrt-cube
1025×distribute-lft-out--
856×pow1
787×distribute-rgt-neg-in
749×distribute-lft-neg-in
717×distribute-rgt-in distribute-lft-in
693×exp-prod
692×difference-of-squares
649×distribute-lft-out
577×associate-*l/
556×sqrt-prod
533×associate-*r*
500×div-exp
456×add-log-exp
425×cbrt-unprod
405×associate-*l*
401×log-pow
357×flip-- flip3--
355×associate-/r/
348×associate-/l*
332×associate-/r*
316×log1p-expm1-u expm1-log1p-u
315×pow-exp
311×div-inv
310×pow-to-exp
240×pow-prod-down neg-mul-1
209×cbrt-undiv
199×unpow-prod-down
188×associate-/l/
182×fma-neg
181×frac-times
170×tan-quot
155×cbrt-prod
154×flip-+ flip3-+
152×frac-sub
145×associate-*r/
120×associate-+r+
118×unswap-sqr
96×fma-def
88×*-commutative
85×frac-add
73×1-exp
72×sqrt-div sub-neg
70×clear-num frac-2neg
63×associate-+l+ exp-sum
61×log-prod
60×sqr-pow
57×fma-udef
47×diff-log
46×rec-exp
44×sqrt-pow1
40×pow1/2
34×pow1/3
32×rem-sqrt-square
30×sum-log
28×cbrt-div
27×pow-unpow
26×neg-sub0 sin-mult
18×+-commutative div-sub
17×cos-mult associate-+l-
16×neg-log
14×sub-div pow-sqr pow-prod-up log-div
13×pow-pow
12×distribute-frac-neg associate--l-
11×pow-flip
10×rem-exp-log unpow2 cube-prod
9×exp-diff swap-sqr distribute-rgt-out--
8×associate--l+
7×inv-pow exp-neg pow-plus
6×cube-div distribute-neg-frac
5×rem-cube-cbrt distribute-neg-in unpow3 cube-mult
4×un-div-inv associate-+r- pow2 sqrt-unprod
3×rem-cbrt-cube distribute-rgt-neg-out rem-log-exp
2×log1p-udef cos-sum log1p-expm1 expm1-log1p tan-sum expm1-udef log-rec
1×mul-1-neg distribute-lft-neg-out unpow-prod-up unsub-neg distribute-rgt-out

regimes9.2s (0.8%)

Accuracy

Total 34.2b remaining (25.9%)

Threshold costs 3.6b (2.8%)

7.4b8.9%Linear.Matrix:det33 from linear-1.19.1.3
5.7b5.1%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1
4.4b2.2%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
3.7b29.8%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
1.6b0%cos(2*x)/(cos^2(x)*sin^2(x))

localize3.8s (0.4%)

bsearch2.8s (0.3%)

end1.0ms (0.0%)