Details

simplify7.8m (63.3%)

sample1.8m (14.3%)

Algorithm
49×intervals
Results
51.5s219376×body80valid
14.4s128552×body80nan
9.9s13132×body1280valid
4.2s4171×body2560valid
2.9s5351×body640valid
1.0s16512×pre80true
898.0ms2639×body320valid
330.0ms1330×body160valid
106.0ms119×body5120valid

prune1.1m (8.8%)

series50.3s (6.8%)

Calls

271 calls:

841.0ms
(- (/ 1.0 x) 1.0)
720.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* y (+ 230661.510616 (* (+ (* y (+ z (* x y))) 27464.7644705) y))) t))
695.0ms
(/ (- (+ f n)) (- f n))
677.0ms
(cbrt z)
674.0ms
(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* y (+ 230661.510616 (* (+ (* y (+ z (* x y))) 27464.7644705) y))) t)))

regimes24.3s (3.3%)

Accuracy

Total 17.9b remaining (25%)

Threshold costs 2.6b (3.6%)

5.6b9.7%Linear.Matrix:det33 from linear-1.19.1.3
2.9b16.6%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.7b89.7%NMSE problem 3.2.1
2.6b-0.3%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
1.5b39.3%cos(2*x)/(cos^2(x)*sin^2(x))

rewrite13.7s (1.9%)

Algorithm
83×rewrite-expression-head
Calls

271 calls:

413.0ms
(/ (+ (* (+ (* (+ (* (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z))) (* (cbrt (+ (* x y) z)) y)) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
312.0ms
(* (pow cos (/ 2.0 2)) (* (pow cos (/ 2.0 2)) (* (* x (pow sin (/ 2.0 2))) (* x (pow sin (/ 2.0 2))))))
257.0ms
(/ (cos (* 2.0 x)) (* (pow cos (/ 2.0 2)) (* (pow cos (/ 2.0 2)) (* (* x (pow sin (/ 2.0 2))) (* x (pow sin (/ 2.0 2)))))))
254.0ms
(/ (cos (* 2.0 x)) (* (pow cos (/ 2.0 2)) (* (* (pow cos (/ 2.0 2)) (* x (pow sin (/ 2.0 2)))) (* x (pow sin (/ 2.0 2))))))
253.0ms
(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
Rules
5209×add-exp-log
3952×prod-exp
3087×times-frac
2906×add-sqr-sqrt
2852×*-un-lft-identity
2063×add-cube-cbrt
1149×add-cbrt-cube
934×pow-exp
904×pow-to-exp
720×pow1
659×div-exp
593×associate-*l*
520×cbrt-prod
518×associate-*r*
437×cbrt-unprod
428×add-log-exp
321×distribute-rgt-neg-in
312×distribute-lft-neg-in
296×flip3-- flip--
263×frac-times
256×difference-of-squares
250×distribute-lft-out--
239×associate-/l*
237×associate-/r*
220×associate-*r/
206×pow-prod-down
198×frac-sub
197×cbrt-div
181×cbrt-undiv
179×associate-*l/
162×distribute-lft-out
161×div-inv
146×unswap-sqr
123×sqrt-prod
118×flip-+ flip3-+
108×*-commutative
107×sub-neg
100×associate-/r/
98×distribute-rgt-in distribute-lft-in
97×neg-mul-1
72×pow1/3
52×sum-log
51×log-prod
50×frac-2neg clear-num
42×associate-/l/
40×diff-log
34×1-exp sqrt-div rec-exp
33×unpow-prod-down
31×swap-sqr
29×associate-+r+
25×associate--r+ pow-prod-up
23×+-commutative
22×tan-quot
21×exp-prod pow-sqr
19×associate-+l+
18×log-pow
16×pow-plus
15×cos-mult sqrt-pow1
14×pow-pow pow1/2
13×associate--l+ sqr-pow div-sub
12×sin-mult log-div
11×exp-diff rem-sqrt-square
10×pow2
9×sub-div associate-+l- frac-add
8×neg-sub0
7×pow-unpow
6×exp-sum rem-exp-log
5×pow-flip neg-log un-div-inv
4×distribute-lft-neg-out associate-+r- sin-cos-mult inv-pow distribute-neg-frac
3×associate--l- distribute-frac-neg
2×pow3 tan-sum cos-sum
1×sqrt-unprod unpow1/3 rem-cbrt-cube

bsearch6.7s (0.9%)

localize5.3s (0.7%)

end0.0ms (0.0%)