Details

simplify29.1m

Calls

14163 calls:

Slowest
3.0s
(/ (* (* (* (/ 1 sin) (/ (/ (cos (* 2 x)) x) cos)) (* (/ 1 sin) (/ (/ (cos (* 2 x)) x) cos))) (* (/ 1 sin) (/ (/ (cos (* 2 x)) x) cos))) (* (* (* sin (* x cos)) (* sin (* x cos))) (* sin (* x cos))))
2.9s
(/ (* (/ (* (* 1 1) 1) (* (* sin sin) sin)) (/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* x x) x) (* (* cos cos) cos)))) (* (* (* sin sin) sin) (* (* (* x x) x) (* (* cos cos) cos))))
2.9s
(/ (* (/ (* (* 1 1) 1) (* (* sin sin) sin)) (* (* (/ (/ (cos (* 2 x)) x) cos) (/ (/ (cos (* 2 x)) x) cos)) (/ (/ (cos (* 2 x)) x) cos))) (* (* (* sin sin) sin) (* (* (* x x) x) (* (* cos cos) cos))))
2.9s
(/ (* (/ (* (* 1 1) 1) (* (* sin sin) sin)) (* (* (/ (cos (* 2 x)) (* x cos)) (/ (cos (* 2 x)) (* x cos))) (/ (cos (* 2 x)) (* x cos)))) (* (* (* sin sin) sin) (* (* (* x x) x) (* (* cos cos) cos))))
2.9s
(/ (* (* (* (/ 1 sin) (/ (cos (* 2 x)) (* x cos))) (* (/ 1 sin) (/ (cos (* 2 x)) (* x cos)))) (* (/ 1 sin) (/ (cos (* 2 x)) (* x cos)))) (* (* (* sin (* x cos)) (* sin (* x cos))) (* sin (* x cos))))

prune3.3m

sample2.7m

Algorithm
59×intervals
Results
49.8s263684×body80valid
35.3s207735×body80nan
30.9s21634×body1280valid
11.3s11002×body640valid
7.5s5304×body2560valid
3.6s4901×body320valid
1.6s16512×pre80true
1.1s2502×body160valid
220.0ms213×body5120valid

series51.4s

Calls

307 calls:

Slowest
2.4s
(cbrt (fma (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))) (/ (sqrt (+ a t)) (/ (cbrt t) (cbrt z))) (- (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c)))))
2.3s
(cbrt (fma (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))) (/ (sqrt (+ a t)) (/ (cbrt t) (cbrt z))) (- (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c)))))
2.3s
(cbrt (fma (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))) (/ (sqrt (+ a t)) (/ (cbrt t) (cbrt z))) (- (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c)))))
1.1s
(fma (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))) (/ (sqrt (+ a t)) (/ (cbrt t) (cbrt z))) (- (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c))))
785.0ms
(posit16->real (real->posit16 (fma (* (/ (cbrt z) (cbrt t)) (/ (cbrt z) (cbrt t))) (/ (sqrt (+ a t)) (/ (cbrt t) (cbrt z))) (- (* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c))))))

regimes17.6s

Accuracy

Total 26.5b remaining (17.3%)

5.9b0.1%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1
4.5b83.5%NMSE problem 3.2.1
3.8b3.9%Linear.Matrix:det33 from linear-1.19.1.3
2.6b0%cos(2*x)/(cos^2(x)*sin^2(x))
1.5b90.5%jeff quadratic root 1

rewrite11.6s

Algorithm
97×rewrite-expression-head
Calls

311 calls:

Slowest
844.0ms
(* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t))
785.0ms
(+ (+ (+ (- (log (+ y x)) t) (* (- a 0.5) (log t))) (log (sqrt z))) (log (sqrt z)))
256.0ms
(* (+ (- a (/ 2.0 (* t 3.0))) (/ 5.0 6.0)) (- b c))
242.0ms
(* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
229.0ms
(* (* (* (* x 18.0) y) z) t)
Rules
8141×times-frac
6402×*-un-lft-identity
6136×add-sqr-sqrt
5180×add-cube-cbrt
2009×prod-diff
1834×add-exp-log
1410×add-cbrt-cube
1193×pow1
725×cbrt-prod
674×sqrt-prod
639×prod-exp
591×distribute-rgt-neg-in
561×distribute-lft-neg-in
516×cbrt-unprod
508×add-log-exp
487×associate-/r*
462×div-exp
434×associate-*r*
427×div-inv
386×pow-prod-down
364×associate-*l*
354×distribute-lft-out--
334×associate-/l*
332×difference-of-squares fma-neg
312×log1p-expm1-u
311×expm1-log1p-u insert-posit16
294×cbrt-undiv
283×distribute-lft-out
239×exp-sum
185×neg-mul-1
170×associate-/r/
150×flip3-- flip--
136×distribute-rgt-in distribute-lft-in
121×associate-+r+
117×unswap-sqr
100×sub-neg
96×associate-*l/
94×pow-prod-up
91×*-commutative fma-def associate-*r/
83×log-prod unpow-prod-down
78×frac-times
72×sin-mult
68×diff-log
66×pow-sqr
65×cbrt-div
62×flip-+ flip3-+
61×frac-2neg clear-num
58×1-exp
57×associate-+l+
54×rec-exp
49×sum-log
48×fma-udef
45×pow-plus
43×pow1/3 exp-prod
42×frac-sub associate--l+
37×associate-/l/ log-pow
35×tan-quot
32×pow2
30×swap-sqr
29×sqrt-pow1 pow1/2
27×cos-mult
25×rem-exp-log
24×rem-sqrt-square frac-add
22×sqrt-div sqr-pow associate--r+
19×pow-unpow
18×div-sub
17×+-commutative
16×pow-exp
14×neg-sub0 associate--l- pow-pow pow-to-exp
13×exp-diff
12×neg-log associate-+l-
11×pow-flip inv-pow
9×unpow-prod-up
6×sub-div
5×cos-2
4×exp-to-pow log-div
3×pow3 sqrt-pow2 rem-cbrt-cube un-div-inv distribute-rgt-out
2×associate-+r- tan-sum distribute-neg-frac unpow2 cos-sum distribute-frac-neg
1×expm1-log1p expm1-udef remove-posit16 unpow1/2 log1p-expm1 log1p-udef difference-of-sqr-1 sqrt-unprod e-exp-1

localize5.6s

bsearch1.7s

end1.0ms