Details

simplify24.8m

Calls

11456 calls:

Slowest
1.7s
(/ (* (* (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
(/ (/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* (* x sin) (* x sin)) (* x sin)) (* (* cos cos) cos))) (* (* (* (* x sin) cos) (* (* x sin) cos)) (* (* x sin) cos)))
1.5s
(/ (/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* (* x x) x) (* (* sin sin) sin)) (* (* cos cos) cos))) (* (* (* (* x sin) (* x sin)) (* x sin)) (* (* cos cos) cos)))
1.4s
(/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* (* (* x sin) (* x sin)) (* x sin)) (* (* cos cos) cos)) (* (* (* (* x sin) cos) (* (* x sin) cos)) (* (* x sin) cos))))
1.4s
(/ (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x))) (* (* (* (* (* x sin) (* x sin)) (* x sin)) (* (* cos cos) cos)) (* (* (* (* x x) x) (* (* sin sin) sin)) (* (* cos cos) cos))))

prune3.9m

sample3.6m

Algorithm
60×intervals
Results
1.7m334991×body80valid
32.5s207099×body80nan
26.5s21222×body1280valid
11.6s10988×body640valid
6.6s5287×body2560valid
4.3s5016×body320valid
1.6s2636×body160valid
1.1s16512×pre80true
142.0ms190×body5120valid

series1.0m

Calls

352 calls:

Slowest
4.0s
(+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3))
1.9s
(/ (- (* (* (- a (/ 5.0 6.0)) (* t 3.0)) (* (sqrt (+ t a)) (/ z (* (cbrt t) (cbrt t))))) (* (* (- a (/ 5.0 6.0)) (- (* (* t 3.0) (+ a (/ 5.0 6.0))) 2.0)) (* (cbrt t) (- b c)))) (* (posit16->real (real->posit16 (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))))
1.9s
(- (* (* (- a (/ 5.0 6.0)) (* t 3.0)) (* (sqrt (+ t a)) (/ z (* (cbrt t) (cbrt t))))) (* (* (- a (/ 5.0 6.0)) (- (* (* t 3.0) (+ a (/ 5.0 6.0))) 2.0)) (* (cbrt t) (- b c))))
1.2s
(cbrt (* (/ (- y z) (- (+ t 1.0) z)) (- a x)))
1.1s
(cbrt (* (/ (- y z) (- (+ t 1.0) z)) (- a x)))

regimes32.2s

Accuracy

Total 37.8b remaining (25.4%)

10.6b-18.4%Linear.Matrix:det44 from linear-1.19.1.3
5.9b3.3%Linear.Matrix:det33 from linear-1.19.1.3
4.1b85.1%NMSE problem 3.2.1
2.9b0%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.8b0%cos(2*x)/(cos^2(x)*sin^2(x))

rewrite15.6s

Algorithm
103×rewrite-expression-head
Calls

352 calls:

Slowest
873.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (+ (* (+ y a) y) b))) (cbrt (+ (* (+ y a) y) b))))) (* (cbrt (+ (* (+ y a) y) b)) y)) c) y) i))
650.0ms
(/ (- (* (* (- a (/ 5.0 6.0)) (* t 3.0)) (* (sqrt (+ t a)) (/ z (* (cbrt t) (cbrt t))))) (* (* (- a (/ 5.0 6.0)) (- (* (* t 3.0) (+ a (/ 5.0 6.0))) 2.0)) (* (cbrt t) (- b c)))) (* (posit16->real (real->posit16 (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))))
445.0ms
(/ (+ (* (+ (* (+ (* (* (+ (* x y) z) (* (cbrt y) (cbrt y))) (cbrt y)) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
388.0ms
(/ (+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3)) (+ (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (- (* (* a b) (* a b)) (* (+ (* x y) (* z t)) (* a b)))))
322.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (+ (* (+ y a) y) b))) (* (cbrt (+ (* (+ y a) y) b)) y)) c) y) i))
Rules
3684×times-frac
3547×*-un-lft-identity
3374×add-sqr-sqrt
2458×add-cube-cbrt
2215×frac-times
2020×add-exp-log
1827×associate-*l/
1673×flip3-- flip--
1627×associate-*r/
1520×add-cbrt-cube
1436×pow1
1058×frac-sub
808×prod-exp
696×sqrt-div
635×associate-*r*
629×associate-*l*
614×cbrt-unprod
578×add-log-exp
525×pow-prod-down
509×flip-+ flip3-+
501×associate-/l/
412×cbrt-prod
406×div-exp
352×insert-posit16
343×cbrt-div
336×associate-/r*
319×distribute-rgt-neg-in
301×distribute-lft-out--
284×distribute-lft-neg-in
266×difference-of-squares
245×distribute-lft-out
237×cbrt-undiv
227×associate-/r/
226×associate-/l*
219×sqrt-prod
200×div-inv
168×sub-neg
158×unswap-sqr
145×distribute-rgt-in distribute-lft-in
123×*-commutative
116×swap-sqr
109×unpow-prod-down
105×tan-quot
93×1-exp
90×neg-mul-1
89×rec-exp
84×pow-prod-up
73×log-prod diff-log
69×exp-sum
61×exp-prod
60×pow1/3
58×pow-sqr
56×sum-log
55×frac-2neg clear-num
47×pow-unpow
42×log-pow
39×frac-add
38×associate-+r+
37×pow-flip sin-mult inv-pow
36×associate--l+
33×pow-plus
30×cos-mult
29×sqrt-pow1 sqr-pow pow1/2
27×associate--r+ rem-sqrt-square
26×rem-exp-log
24×associate-+l-
23×associate-+l+ +-commutative
22×sub-div
21×distribute-rgt-out--
19×neg-sub0 unpow2
18×log-div
16×pow2 pow-pow div-sub
15×unpow-prod-up pow-exp un-div-inv
14×distribute-neg-in
13×exp-diff pow-to-exp
12×neg-log
9×associate--l-
7×pow-sub
6×pow-neg
5×pow3 cos-2 sum-cubes
4×associate-+r- cube-prod cube-div
3×distribute-frac-neg rem-cube-cbrt rem-cbrt-cube
2×remove-posit16 unpow3 tan-sum distribute-neg-frac cos-sum cube-mult distribute-rgt-out
1×sub0-neg difference-of-sqr-1 sqrt-unprod exp-neg e-exp-1

bsearch15.1s

localize6.8s

end1.0ms