Details

sample2.9m (43.7%)

Algorithm
60×intervals
Results
1.2m336763×body80valid
23.7s208456×body80nan
20.5s21607×body1280valid
8.2s10814×body640valid
4.9s5371×body2560valid
2.2s5140×body320valid
776.0ms2535×body160valid
721.0ms16512×pre80true
502.0ms222×body5120valid

prune1.4m (21.2%)

series59.9s (15.1%)

Calls

345 calls:

1.4s
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (* (cbrt t) (cbrt t)) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* (* (* (cbrt t) (cbrt t)) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
1.2s
(- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (* (cbrt t) (cbrt t)) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
803.0ms
(/ (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (/ y x))
738.0ms
(* (* (- y z) (* (* (cbrt (/ 1 (- (+ t 1.0) z))) (cbrt (/ 1 (- (+ t 1.0) z)))) (cbrt (/ 1 (- (+ t 1.0) z))))) (- a x))
688.0ms
(/ (cos (* 2.0 x)) (* (pow cos 2.0) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x)))

rewrite33.9s (8.6%)

Algorithm
102×rewrite-expression-head
Calls

345 calls:

3.3s
(* (* (- y z) (* (* (cbrt (/ 1 (- (+ t 1.0) z))) (cbrt (/ 1 (- (+ t 1.0) z)))) (cbrt (/ 1 (- (+ t 1.0) z))))) (- a x))
1.2s
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (* (cbrt t) (cbrt t)) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* (* (* (cbrt t) (cbrt t)) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
1.2s
(* (/ 1 (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))) (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
1.1s
(* (- (/ y (- (+ t 1.0) z)) (/ z (- (+ t 1.0) z))) (- a x))
1.0s
(/ (+ (- b) (- (* 2.0 (* (/ a (* (cbrt b) (cbrt b))) (/ c (cbrt b)))) b)) (* 2.0 a))
Rules
8961×times-frac
5813×add-sqr-sqrt
5750×*-un-lft-identity
4805×add-cube-cbrt
2024×add-exp-log
2020×cbrt-prod
1344×unpow-prod-down
1240×add-cbrt-cube
1114×associate-*r/
1093×cbrt-div
1075×associate-*l/
971×frac-times
872×prod-exp
838×pow1
824×flip-- flip3--
746×associate-*r*
706×distribute-rgt-neg-in
665×distribute-lft-neg-in
628×frac-sub
569×associate-*l*
550×cube-prod
515×add-log-exp
474×flip-+ flip3-+
445×associate-/l*
434×div-inv
414×cbrt-unprod
382×div-exp
345×associate-/r*
284×sqrt-div
281×distribute-lft-out--
273×difference-of-squares
260×exp-sum
243×cbrt-undiv
221×associate-/l/ pow-prod-down
211×distribute-lft-out
209×unswap-sqr
207×neg-mul-1
205×sqrt-prod
147×pow-exp
143×sub-neg
140×distribute-rgt-in distribute-lft-in
134×pow-to-exp
132×associate-/r/
130×pow1/3
119×*-commutative
106×sqr-pow
83×swap-sqr
71×clear-num frac-2neg
61×log-prod
54×diff-log
40×sum-log
38×tan-quot
36×exp-diff
35×sin-mult
34×pow-unpow
33×exp-prod 1-exp
31×associate-+r+ rec-exp
30×log-pow distribute-neg-frac
28×pow-prod-up
25×associate--r+
24×neg-sub0
22×pow-sqr unpow3 cube-mult sqrt-pow1
21×pow1/2 cos-mult
19×associate-+l+
18×rem-sqrt-square +-commutative
17×frac-add
16×neg-log pow-plus
15×pow-flip div-sub associate-+l-
14×pow-pow rem-exp-log associate--l+
13×associate--l-
12×cube-div sub-div pow2
11×inv-pow
8×rem-cube-cbrt log-div
6×un-div-inv
5×distribute-frac-neg
4×distribute-neg-in rem-cbrt-cube
3×distribute-rgt-out-- associate-+r-
2×cos-sum distribute-lft-neg-out unpow-prod-up tan-sum log-rec
1×e-exp-1 unpow1/3 sqrt-unprod pow3 exp-neg pow-sub distribute-rgt-neg-out pow-neg

regimes18.5s (4.7%)

Accuracy

Total 88.5b remaining (43.8%)

Threshold costs 2.0b (1%)

23.0b-1493.2%Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2
17.1b-277%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
12.8b-17.1%Linear.Matrix:det44 from linear-1.19.1.3
6.4b-5.2%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1
5.8b27.4%Linear.Matrix:det33 from linear-1.19.1.3

simplify14.0s (3.5%)

bsearch7.5s (1.9%)

localize4.7s (1.2%)

end1.0ms (0.0%)