Details

simplify42.6m

Calls

18092 calls:

Slowest
2.1s
(/ (* (* (/ 1 (/ (* (* cos sin) x) 1)) (/ 1 (/ (* (* cos sin) x) 1))) (/ 1 (/ (* (* cos sin) x) 1))) (/ (* (* (* (* cos sin) x) (* (* cos sin) x)) (* (* cos sin) x)) (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x)))))
1.9s
(/ (* (* (/ 1 (/ (* (* cos sin) x) 1)) (/ 1 (/ (* (* cos sin) x) 1))) (/ 1 (/ (* (* cos sin) x) 1))) (/ (* (* (* (* cos cos) cos) (* (* sin sin) sin)) (* (* x x) x)) (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x)))))
1.7s
(/ (* (* (/ 1 (/ (* (* cos sin) x) 1)) (/ 1 (/ (* (* cos sin) x) 1))) (/ 1 (/ (* (* cos sin) x) 1))) (/ (* (* (* (* cos sin) (* cos sin)) (* cos sin)) (* (* x x) x)) (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x)))))
1.7s
(/ (* (* 1 1) 1) (/ (* (* (* (* (* cos sin) (* cos sin)) (* cos sin)) (* (* x x) x)) (* (* (* (* cos cos) cos) (* (* sin sin) sin)) (* (* x x) x))) (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x)))))
1.5s
(/ (* (* 1 1) 1) (/ (* (* (* (* (* cos sin) x) (* (* cos sin) x)) (* (* cos sin) x)) (* (* (* (* cos sin) (* cos sin)) (* cos sin)) (* (* x x) x))) (* (* (cos (* 2 x)) (cos (* 2 x))) (cos (* 2 x)))))

prune4.4m

sample3.5m

Algorithm
60×intervals
Results
1.6m334270×body80valid
34.0s210588×body80nan
26.7s21411×body1280valid
10.4s10957×body640valid
6.4s5324×body2560valid
4.3s5139×body320valid
1.1s16512×pre80true
1.1s2616×body160valid
159.0ms212×body5120valid

series1.1m

Calls

349 calls:

Slowest
4.9s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
4.9s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
990.0ms
(fma j (fma t c (- (* y i))) (- (* (- (* z y) (* t a)) x) (* (* (- (* z c) (* i a)) (* (cbrt b) (cbrt b))) (cbrt b))))
801.0ms
(fma j (fma t c (- (* y i))) (- (* (- (* z y) (* t a)) x) (* (- (* z c) (* i a)) b)))
760.0ms
(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (- (* z c) (* i a)) b)))

regimes29.4s

Accuracy

Total 25.0b remaining (14.9%)

8.9b0%Linear.Matrix:det44 from linear-1.19.1.3
4.8b0%Linear.Matrix:det33 from linear-1.19.1.3
2.3b16.1%cos(2*x)/(cos^2(x)*sin^2(x))
1.0b81.7%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
0.8b96.5%NMSE problem 3.2.1

rewrite17.4s

Algorithm
103×rewrite-expression-head
Calls

349 calls:

Slowest
2.6s
(* (* (* (cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))) (cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))) (cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))) (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
768.0ms
(+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c))
541.0ms
(* (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
454.0ms
(cbrt (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
427.0ms
(+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c))
Rules
10662×times-frac
9579×*-un-lft-identity
8107×add-sqr-sqrt
6562×add-cube-cbrt
2621×prod-diff
2386×add-exp-log
1479×add-cbrt-cube
1297×pow1
998×distribute-rgt-neg-in
897×distribute-lft-neg-in
823×prod-exp
821×sqrt-prod
761×div-exp
753×associate-*r*
710×distribute-lft-out
667×distribute-lft-out--
611×div-inv
602×difference-of-squares
549×associate-*l*
529×add-log-exp
507×cbrt-unprod
498×swap-sqr
467×associate-/r*
438×fma-neg
428×pow-prod-down
378×associate-/l*
350×expm1-log1p-u
349×log1p-expm1-u insert-posit16
301×cbrt-undiv
281×associate-*l/
280×frac-times
264×sqrt-div
263×flip3-- flip--
235×neg-mul-1
234×cbrt-div
232×associate-/r/
217×flip-+ flip3-+
189×1-exp
187×cbrt-prod
144×rec-exp
137×distribute-rgt-in distribute-lft-in
124×associate-*r/
118×unswap-sqr
106×associate-+r+
102×*-commutative
100×log-prod sub-neg
92×log-pow
86×exp-sum
76×frac-sub fma-def
75×pow-prod-up associate-/l/
71×frac-2neg clear-num
63×associate-+l+
61×diff-log
59×pow1/3
57×tan-quot
49×associate--r+
48×sqrt-pow1 pow1/2
45×pow-flip inv-pow pow-sqr
43×sum-log
38×rem-sqrt-square
36×unpow-prod-down
31×frac-add
26×sin-mult
24×fma-udef
23×pow-plus
22×cos-mult
21×div-sub exp-prod
20×associate--l+
19×distribute-frac-neg
18×+-commutative
16×neg-sub0 pow-unpow log-div
14×un-div-inv
13×associate-+l-
12×sqr-pow sub-div distribute-neg-frac
11×associate--l- pow2 rem-exp-log
10×pow-exp
9×unpow-prod-up exp-diff neg-log
7×difference-of-sqr-1
6×distribute-lft-neg-out pow-pow pow-to-exp rem-log-exp
5×associate-+r- pow3
4×rem-cbrt-cube expm1-def e-exp-1
3×distribute-rgt-neg-out sqr-neg
2×log1p-udef sqrt-unprod tan-sum unpow2 cos-sum unsub-neg associate--r- cos-2
1×log1p-expm1 rem-square-sqrt

localize6.5s

bsearch1.1s

end1.0ms