Details

simplify28.3m

Calls

12178 calls:

Slowest
1.7s
(/ (/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* sin sin) sin) (* (* (* x cos) (* x cos)) (* x cos)))) (* (* (* sin sin) sin) (* (* (* x x) x) (* (* cos cos) cos))))
1.6s
(/ (* (* (/ (cos (* 2 x)) (* sin (* x cos))) (/ (cos (* 2 x)) (* sin (* x cos)))) (/ (cos (* 2 x)) (* sin (* x cos)))) (* (* (* sin (* x cos)) (* sin (* x cos))) (* sin (* x cos))))
1.6s
(/ (* (* (* x x) x) (* (* (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))))
1.6s
(/ (/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* sin sin) sin) (* (* (* x x) x) (* (* cos cos) cos)))) (* (* (* sin sin) sin) (* (* (* x cos) (* x cos)) (* x cos))))
1.5s
(* (* (+ (* a a) (+ (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) (* (cbrt t) (sqrt (+ (* t t) (- (* a a) (* t a)))))) (* (+ (* b b) (+ (* c c) (* b c))) (* (+ (* a a) (+ (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) (+ (* (* t 3.0) (+ (/ 5.0 6.0) a)) 2.0))))

prune4.0m

sample3.8m

Algorithm
60×intervals
Results
1.8m335746×body80valid
33.4s208275×body80nan
28.9s21636×body1280valid
12.2s10866×body640valid
6.3s5259×body2560valid
4.2s5049×body320valid
1.2s16512×pre80true
1.1s2572×body160valid
187.0ms228×body5120valid

series3.6m

Calls

363 calls:

Slowest
2.5m
(- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i)))
2.5s
(/ (- (* (* (- a (/ 5.0 6.0)) (* t 3.0)) (* (/ z (cbrt t)) (sqrt (+ t a)))) (* (* (* (cbrt t) (cbrt t)) (- b c)) (* (- a (/ 5.0 6.0)) (- (* (* t 3.0) (+ (/ 5.0 6.0) a)) 2.0)))) (* (* (cbrt t) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
2.3s
(- (* (* (- a (/ 5.0 6.0)) (* t 3.0)) (* (/ z (cbrt t)) (sqrt (+ t a)))) (* (* (* (cbrt t) (cbrt t)) (- b c)) (* (- a (/ 5.0 6.0)) (- (* (* t 3.0) (+ (/ 5.0 6.0) a)) 2.0))))
1.8s
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))))
822.0ms
(/ (- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i))) (- (+ (+ (* x y) (* z t)) (* a b)) (* c i)))

regimes30.4s

Accuracy

Total 32.4b remaining (22.6%)

10.3b-26.7%Linear.Matrix:det44 from linear-1.19.1.3
5.9b-1.9%Linear.Matrix:det33 from linear-1.19.1.3
2.6b90.1%NMSE problem 3.2.1
2.5b10.8%cos(2*x)/(cos^2(x)*sin^2(x))
1.3b0%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1

rewrite24.9s

Algorithm
105×rewrite-expression-head
Calls

363 calls:

Slowest
2.0s
(- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
1.5s
(- (+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
1.5s
(cbrt (* (* (/ (- (+ f n)) (- f n)) (* (* (cbrt (/ (- (+ f n)) (- f n))) (cbrt (/ (- (+ f n)) (- f n)))) (cbrt (/ (- (+ f n)) (- f n))))) (/ (- (+ f n)) (- f n))))
1.2s
(* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- a x))
797.0ms
(/ (- (* (* (- a (/ 5.0 6.0)) (* t 3.0)) (* (/ z (cbrt t)) (sqrt (+ t a)))) (* (* (* (cbrt t) (cbrt t)) (- b c)) (* (- a (/ 5.0 6.0)) (- (* (* t 3.0) (+ (/ 5.0 6.0) a)) 2.0)))) (* (* (cbrt t) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
Rules
5060×*-un-lft-identity
4364×times-frac
3980×add-sqr-sqrt
2661×add-cube-cbrt
2188×frac-times
2045×associate-*r/
1700×flip3-- flip--
1660×add-exp-log
1496×associate-*l/
1429×add-cbrt-cube
1114×pow1
994×frac-sub
938×cbrt-prod
829×associate-*l*
790×sqrt-div
743×distribute-rgt-neg-in
717×associate-*r*
645×distribute-lft-neg-in
612×add-log-exp
571×distribute-lft-out--
534×flip-+ flip3-+
526×prod-exp
499×associate-/l/
495×swap-sqr
484×cbrt-unprod
470×distribute-lft-out cbrt-div
468×difference-of-squares
363×insert-posit16
354×div-exp
346×pow-prod-down
327×associate-/r*
307×associate-/l*
277×cbrt-undiv
276×associate-/r/
232×sqrt-prod
231×div-inv
153×sub-neg
148×unswap-sqr
140×distribute-rgt-in distribute-lft-in
137×neg-mul-1
110×*-commutative
106×pow1/3
89×frac-add
82×diff-log
71×frac-2neg clear-num
63×log-prod
61×sum-log
57×sin-mult
51×pow-prod-up
50×associate-+r+
48×sqrt-pow1
43×log-pow
41×exp-prod
40×1-exp rec-exp
37×pow-sqr
36×associate--r+
34×pow1/2
31×difference-of-sqr-1 rem-sqrt-square
30×associate-+l+
29×cos-mult
28×pow-plus
27×associate--l+ div-sub
24×+-commutative
22×exp-diff exp-sum
21×sub-div
18×neg-sub0 associate-+l- log-div
17×tan-quot rem-exp-log
16×pow2 distribute-frac-neg
15×unpow-prod-down
14×pow-flip inv-pow
13×pow-unpow
12×neg-log
11×distribute-neg-frac
10×associate--l-
6×associate-+r- pow3 distribute-rgt-out-- cos-2
5×pow-exp sqr-pow pow-pow pow-to-exp
4×exp-to-pow unpow2 rem-cbrt-cube
3×distribute-rgt-neg-out distribute-lft-neg-out un-div-inv
2×sqr-sin sqr-neg cos-sum tan-sum
1×remove-posit16 sub0-neg sqrt-unprod rem-log-exp acos-asin associate--r- e-exp-1

bsearch8.8s

localize7.1s

end1.0ms