Details

simplify13.1m

Calls

5644 calls:

Slowest
2.0s
(/ (* (* (- (* (* (* (sqrt (+ a t)) z) (* t 3.0)) (- (/ 5.0 6.0) a)) (* (* (- b c) t) (* (- (/ 5.0 6.0) a) (- (* (+ a (/ 5.0 6.0)) (* t 3.0)) 2.0)))) (- (* (* (* (sqrt (+ a t)) z) (* t 3.0)) (- (/ 5.0 6.0) a)) (* (* (- b c) t) (* (- (/ 5.0 6.0) a) (- (* (+ a (/ 5.0 6.0)) (* t 3.0)) 2.0))))) (- (* (* (* (sqrt (+ a t)) z) (* t 3.0)) (- (/ 5.0 6.0) a)) (* (* (- b c) t) (* (- (/ 5.0 6.0) a) (- (* (+ a (/ 5.0 6.0)) (* t 3.0)) 2.0))))) (* (* (* t (* (- (/ 5.0 6.0) a) (* t 3.0))) (* t (* (- (/ 5.0 6.0) a) (* t 3.0)))) (* t (* (- (/ 5.0 6.0) a) (* t 3.0)))))
1.6s
(* (* (sqrt (+ (* a a) (- (* t t) (* a t)))) (+ (* (/ 5.0 6.0) (/ 5.0 6.0)) (+ (* a a) (* (/ 5.0 6.0) a)))) (* (+ (* (/ 5.0 6.0) (/ 5.0 6.0)) (+ (* a a) (* (/ 5.0 6.0) a))) (+ (* (* (+ a (/ 5.0 6.0)) (* t 3.0)) (* (+ a (/ 5.0 6.0)) (* t 3.0))) (+ (* 2.0 2.0) (* (* (+ a (/ 5.0 6.0)) (* t 3.0)) 2.0)))))
1.5s
(* (+ (* (/ 5.0 6.0) (/ 5.0 6.0)) (+ (* a a) (* (/ 5.0 6.0) a))) (* (+ (* b b) (+ (* c c) (* b c))) (* (+ (* (/ 5.0 6.0) (/ 5.0 6.0)) (+ (* a a) (* (/ 5.0 6.0) a))) (+ (* (* (+ a (/ 5.0 6.0)) (* t 3.0)) (* (+ a (/ 5.0 6.0)) (* t 3.0))) (+ (* 2.0 2.0) (* (* (+ a (/ 5.0 6.0)) (* t 3.0)) 2.0))))))
1.3s
(* (* (sqrt (+ (* a a) (- (* t t) (* a t)))) (+ (/ 5.0 6.0) a)) (* (+ (* (/ 5.0 6.0) (/ 5.0 6.0)) (+ (* a a) (* (/ 5.0 6.0) a))) (+ (* (* (+ a (/ 5.0 6.0)) (* t 3.0)) (* (+ a (/ 5.0 6.0)) (* t 3.0))) (+ (* 2.0 2.0) (* (* (+ a (/ 5.0 6.0)) (* t 3.0)) 2.0)))))
1.2s
(* (* (* (* a a) (* a a)) (* a a)) (* (* (+ 1 a) (+ 1 a)) (+ 1 a)))

sample2.7m

Algorithm
58×intervals
Results
51.3s249504×body80valid
35.3s209315×body80nan
30.8s21313×body1280valid
11.6s11072×body640valid
7.4s5340×body2560valid
3.6s5122×body320valid
1.7s16512×pre80true
1.5s2579×body160valid
279.0ms222×body5120valid

prune2.4m

series1.1m

Calls

339 calls:

Slowest
5.9s
(* (/ (cbrt (- y z)) (- (+ t 1.0) z)) (- a x))
1.1s
(fma j (- (* t c) (* y i)) (- (* (* (cbrt (- (* z y) (* t a))) (cbrt (- (* z y) (* t a)))) (* (cbrt (- (* z y) (* t a))) x)) (* (- (* z c) (* i a)) b)))
1.1s
(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (- (* z c) (* i a)) b)))
973.0ms
(expm1 (cbrt (* (/ (+ n f) (- f n)) (- (* (/ (+ n f) (- f n)) (/ (+ n f) (- f n)))))))
935.0ms
(- (* (* (* (sqrt (+ a t)) z) (* t 3.0)) (- (/ 5.0 6.0) a)) (* (* (- b c) t) (* (- (/ 5.0 6.0) a) (- (* (+ a (/ 5.0 6.0)) (* t 3.0)) 2.0))))

regimes16.2s

Accuracy

Total 32.2b remaining (23.5%)

7.8b-1.9%Linear.Matrix:det33 from linear-1.19.1.3
4.3b81.8%NMSE problem 3.2.1
4.0b9.7%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
3.4b43.6%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1
2.2b0%cos(2*x)/(cos^2(x)*sin^2(x))

rewrite4.5s

Algorithm
103×rewrite-expression-head
Calls

347 calls:

Slowest
240.0ms
(/ (- (* (* (* (sqrt (+ a t)) z) (* t 3.0)) (- (/ 5.0 6.0) a)) (* (* (- b c) t) (* (- (/ 5.0 6.0) a) (- (* (+ a (/ 5.0 6.0)) (* t 3.0)) 2.0)))) (* t (* (- (/ 5.0 6.0) a) (* t 3.0))))
160.0ms
(- (* (* (* (sqrt (+ a t)) z) (* t 3.0)) (- (/ 5.0 6.0) a)) (* (* (- b c) t) (* (- (/ 5.0 6.0) a) (- (* (+ a (/ 5.0 6.0)) (* t 3.0)) 2.0))))
148.0ms
(* (- y z) (* (* (/ 1 (- (+ t 1.0) z)) (* (cbrt (- a x)) (cbrt (- a x)))) (cbrt (- a x))))
135.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
108.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin y) (tan z)) (cos y)))) (tan a))
Rules
1444×associate-*l/
1281×*-un-lft-identity
1241×frac-times
1209×add-sqr-sqrt
1133×add-cube-cbrt
1118×flip-- flip3--
689×add-exp-log
684×associate-*r/
600×pow1
593×add-cbrt-cube
564×cbrt-div
494×times-frac
483×frac-sub
448×add-log-exp
391×prod-diff
358×sqrt-div
348×log1p-expm1-u
347×expm1-log1p-u insert-posit16
277×associate-*r*
264×associate-*l*
254×associate-/l/
249×associate-/r*
224×flip-+ flip3-+
205×div-inv
180×sqrt-prod
172×cbrt-prod
158×fma-neg
130×prod-exp
128×associate-/r/
119×associate-/l*
116×cbrt-unprod
104×pow-prod-down
103×*-commutative
100×sub-neg
88×associate-+r+
83×distribute-rgt-in distribute-lft-in
73×frac-2neg clear-num
67×distribute-lft-out
60×fma-def div-exp
59×pow1/3
55×cbrt-undiv
44×log-pow
41×neg-mul-1
36×pow1/2
35×diff-log
34×log-prod
29×tan-quot
28×rec-exp fma-udef
27×distribute-lft-neg-in distribute-rgt-neg-in rem-sqrt-square
24×difference-of-squares
23×exp-diff pow-prod-up
22×associate-+l- log-div
21×exp-prod
20×+-commutative associate--r+ sin-mult
19×distribute-lft-out-- unpow-prod-down
17×sum-log
16×pow-flip pow-plus inv-pow frac-add
14×cos-mult associate--l+
13×exp-sum pow2 sub-div
12×distribute-neg-frac
11×associate-+l+ neg-sub0 div-sub
9×pow-to-exp
7×cube-prod un-div-inv
6×pow-unpow associate--l- rem-log-exp
5×pow-exp difference-of-sqr-1 pow-pow rem-exp-log
4×associate-+r- sqrt-unprod
3×pow3 unpow2 cos-2 distribute-rgt-out
2×distribute-lft-neg-out rem-cube-cbrt unpow3 distribute-frac-neg tan-sum exp-to-pow cos-sum rem-cbrt-cube cube-mult
1×unpow-prod-up expm1-log1p expm1-udef 2-cos sqr-sin distribute-rgt-out-- sqr-cos associate--r-

localize3.5s

bsearch3.0s

end1.0ms