Details

series10.8m (82.7%)

Calls

326 calls:

3.1s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
3.0s
(fma t (- (* (* x (* 18.0 y)) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
800.0ms
(* (cbrt (fma (log t) (- a 0.5) (+ (log (+ x y)) (- (log z) t)))) (cbrt (fma (log t) (- a 0.5) (+ (log (+ x y)) (- (log z) t)))))
779.0ms
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (- (* c z) (* i a))))))
748.0ms
(fma (- (* c t) (* i y)) j (- (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* y z) (* t a)))) (* b (- (* c z) (* i a)))))

sample55.5s (7.1%)

Algorithm
59×intervals
Results
11.8s263911×body80valid
8.8s21313×body1280valid
8.0s207971×body80nan
3.2s11182×body640valid
2.6s5345×body2560valid
998.0ms5186×body320valid
482.0ms16512×pre80true
305.0ms2370×body160valid
59.0ms227×body5120valid

prune47.7s (6.1%)

rewrite11.7s (1.5%)

Algorithm
98×rewrite-expression-head
Calls

328 calls:

729.0ms
(/ x (* (pow (pow a 1.0) 1.0) (* (exp (+ (* (log (/ 1 z)) y) (+ (* (log (/ 1 a)) t) b))) y)))
400.0ms
(- (/ 1 (/ (- (+ t 1.0) z) y)) (/ z (- (+ t 1.0) z)))
339.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (* (fma (+ y a) y b) (cbrt y)) (cbrt y)) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)))) c) y) i))
319.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (/ (* (tan y) (sin z)) (cos z))) (cos a)))
319.0ms
(- (/ y (- (+ t 1.0) z)) (/ z (- (+ t 1.0) z)))
Rules
14016×times-frac
12545×*-un-lft-identity
9949×add-sqr-sqrt
7800×add-cube-cbrt
3537×prod-diff
1764×add-exp-log
1607×distribute-lft-out--
1211×distribute-rgt-neg-in
1207×unpow-prod-down
1147×distribute-lft-neg-in
1038×distribute-lft-out cbrt-prod
985×add-cbrt-cube
924×difference-of-squares
772×prod-exp
690×pow1
598×associate-/r*
581×exp-prod
574×log-pow
571×div-inv
520×associate-*r*
483×add-log-exp
443×fma-neg
428×sqrt-prod
396×associate-*l*
395×associate-/r/
360×div-exp
356×associate-/l*
336×neg-mul-1
328×log1p-expm1-u expm1-log1p-u
315×exp-sum
313×flip-- flip3--
311×fma-udef
255×cbrt-unprod
252×associate--r+
200×distribute-rgt-in distribute-lft-in
195×cube-prod
192×swap-sqr
177×cbrt-undiv
172×pow-exp
145×pow-to-exp
132×sqr-pow unswap-sqr
130×pow-prod-down
111×associate-*l/
88×associate-+r+ frac-sub
86×associate-*r/
83×pow1/3
80×*-commutative
78×sub-neg
71×associate-/l/
70×sqrt-div
69×flip-+ flip3-+
67×clear-num frac-2neg
61×pow-unpow
57×fma-def
56×diff-log
54×cbrt-div
50×frac-times
47×1-exp
41×tan-quot
38×sqrt-pow1
34×sin-mult
33×pow1/2 rec-exp log-prod
31×rem-sqrt-square
28×cos-mult
26×neg-sub0
25×distribute-neg-in sum-log
22×div-sub
20×unpow-prod-up
19×sub-div
16×pow-pow neg-log
14×distribute-neg-frac associate--l-
13×rem-exp-log
12×pow-sqr +-commutative pow-prod-up associate--l+
11×unpow3 frac-add cube-mult
10×distribute-frac-neg associate-+l-
9×cube-div un-div-inv pow-flip
8×inv-pow pow2 associate-+l+
7×pow-plus
6×pow-sub log-div
5×distribute-lft-neg-out unpow2
4×distribute-rgt-out--
3×exp-diff associate-+r- rem-log-exp
2×rem-cube-cbrt cos-sum tan-sum rem-cbrt-cube log-rec
1×exp-neg distribute-rgt-out sqrt-unprod cube-neg pow-neg

simplify9.0s (1.1%)

regimes7.5s (1.0%)

Accuracy

Total 29.8b remaining (23.2%)

Threshold costs 5.4b (4.2%)

6.1b16.1%Linear.Matrix:det33 from linear-1.19.1.3
4.4b84.4%NMSE problem 3.2.1
4.1b16.8%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
2.7b89.6%The quadratic formula (r1)
2.5b33.9%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

localize2.2s (0.3%)

bsearch1.6s (0.2%)

end1.0ms (0.0%)