Details

series10.9m (50.7%)

Calls

331 calls:

1.0s
(fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))
949.0ms
(fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))
877.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))
814.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))
802.0ms
(* x (/ (/ (pow z y) (/ (exp b) (pow a (- t 1.0)))) y))

simplify5.8m (26.8%)

sample2.2m (10.2%)

Algorithm
59×intervals
Results
37.0s263199×body80valid
26.4s208047×body80nan
18.4s21317×body1280valid
8.3s11002×body640valid
4.9s5286×body2560valid
3.0s5229×body320valid
1.1s2463×body160valid
633.0ms16512×pre80true
124.0ms251×body5120valid

prune2.0m (9.5%)

rewrite20.4s (1.6%)

Algorithm
103×rewrite-expression-head
Calls

333 calls:

793.0ms
(* (pow cos (/ 2.0 2)) (* (pow cos (/ 2.0 2)) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x)))
758.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))))
681.0ms
(* x (/ (/ (pow z y) (/ (exp b) (pow a (- t 1.0)))) y))
594.0ms
(/ x (/ y (/ (pow z y) (/ (exp b) (pow a (- t 1.0))))))
593.0ms
(- (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z))) t)
Rules
30681×times-frac
17665×*-un-lft-identity
16982×add-sqr-sqrt
15926×add-cube-cbrt
6390×prod-diff
4682×add-exp-log
4448×unpow-prod-up
4201×unpow-prod-down
3441×prod-exp
1749×associate-/r*
1707×associate-*r*
1407×sqr-pow
1219×add-cbrt-cube
847×pow-to-exp pow-exp
837×pow1
697×div-inv
691×associate--l+
660×distribute-rgt-in distribute-lft-in
646×div-exp
627×distribute-lft-out
523×log-pow
512×sqrt-prod
486×add-log-exp
485×distribute-rgt-neg-in
479×associate-/r/
471×distribute-lft-neg-in sub-neg
431×associate-*l*
427×cbrt-unprod
412×exp-prod
335×distribute-lft-out--
334×expm1-log1p-u
333×log1p-expm1-u
319×difference-of-squares
312×associate-/l*
303×fma-neg
216×cbrt-undiv
181×pow-prod-down
152×flip-+ flip3-+
151×associate-+r+
147×neg-mul-1
144×flip3-- flip--
139×cbrt-prod
126×pow-sub
124×unswap-sqr
110×log-prod
94×fma-def
88×*-commutative
77×associate-*r/
72×frac-2neg clear-num
64×sqrt-pow1
56×diff-log
54×associate-+l+
52×associate-*l/
46×exp-sum
44×fma-udef
43×pow-unpow
40×sqrt-div
39×frac-times
38×pow1/2 tan-quot distribute-rgt-out--
33×sum-log
30×pow1/3
26×associate-/l/
24×rem-sqrt-square
23×frac-sub
22×log-div
20×associate-+l-
18×1-exp rec-exp sin-mult
17×+-commutative pow-pow
16×neg-sub0 cos-mult
14×sub-div
11×rem-exp-log div-sub
10×associate-+r- pow-prod-up
9×cbrt-div swap-sqr
7×neg-log associate--l-
6×exp-diff un-div-inv pow-sqr distribute-frac-neg
5×sqrt-unprod inv-pow associate--r- pow-flip
4×exp-neg rem-log-exp
3×frac-add distribute-rgt-out distribute-neg-frac
2×sqrt-undiv tan-sum cos-sum
1×log1p-udef distribute-lft-neg-out pow2 log1p-expm1 pow-plus rem-square-sqrt acos-asin expm1-udef exp-to-pow

regimes10.4s (0.8%)

Accuracy

Total 37.7b remaining (28.2%)

Threshold costs 2.9b (2.2%)

6.8b32%Linear.Matrix:det33 from linear-1.19.1.3
6.0b82.2%The quadratic formula (r1)
5.5b77.2%NMSE problem 3.2.1
4.3b32.7%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.1b0%Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2

localize3.9s (0.3%)

bsearch2.2s (0.2%)

end1.0ms (0.0%)