Details

sample1.3m (34.6%)

Algorithm
60×intervals
Results
23.3s336187×body80valid
8.6s21313×body1280valid
7.9s207971×body80nan
3.1s11182×body640valid
2.4s5345×body2560valid
962.0ms5186×body320valid
379.0ms16512×pre80true
290.0ms2370×body160valid
60.0ms227×body5120valid

prune55.9s (25.3%)

series45.2s (20.5%)

Calls

341 calls:

1.9s
(- (* (* (/ z (* (cbrt t) (cbrt t))) (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (cbrt t) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
1.9s
(/ (- (* (* (/ z (* (cbrt t) (cbrt t))) (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (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) (* (- a (/ 5.0 6.0)) (* t 3.0))))
733.0ms
(/ (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (/ y x))
551.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- (* 1 1) (* (* (tan y) (tan z)) (* (tan y) (tan z)))) (cos a)))
539.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

rewrite17.0s (7.7%)

Algorithm
100×rewrite-expression-head
Calls

341 calls:

1.1s
(/ (- (* (* (/ z (* (cbrt t) (cbrt t))) (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (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) (* (- a (/ 5.0 6.0)) (* t 3.0))))
772.0ms
(* (- (/ y (- (+ t 1.0) z)) (/ z (- (+ t 1.0) z))) (- a x))
766.0ms
(* (pow (/ 1 (pow a 1.0)) 1.0) (/ x (* (exp (+ (* (log (/ 1 z)) y) (+ (* (log (/ 1 a)) t) b))) y)))
696.0ms
(* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t))
502.0ms
(- (* (* (/ z (* (cbrt t) (cbrt t))) (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (cbrt t) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
Rules
8425×times-frac
6027×*-un-lft-identity
5642×add-sqr-sqrt
4466×add-cube-cbrt
2244×add-exp-log
1905×associate-*l/
1368×associate-*r/
1318×flip-- flip3--
1287×add-cbrt-cube
1257×frac-times
1237×frac-sub
1101×unpow-prod-down
1039×cbrt-prod
1012×prod-exp
888×pow1
752×distribute-rgt-neg-in
696×distribute-lft-neg-in
656×associate-*r*
614×associate-*l*
582×exp-prod
564×log-pow
562×sqrt-div
527×add-log-exp
485×div-exp
457×distribute-lft-out--
448×cbrt-unprod
427×associate-/l*
421×associate-/l/
397×div-inv
394×difference-of-squares
354×associate-/r*
349×flip-+ flip3-+
287×distribute-lft-out
269×exp-sum
258×pow-prod-down
236×cbrt-undiv
212×swap-sqr
207×sqrt-prod
201×pow-exp
196×neg-mul-1
175×unswap-sqr
152×pow-to-exp
147×log-prod
139×cube-prod
133×distribute-rgt-in distribute-lft-in
132×associate-/r/
122×sqr-pow
120×cbrt-div
113×sub-neg
111×*-commutative
88×pow1/3
75×tan-quot
70×1-exp
67×clear-num frac-2neg
57×diff-log
48×pow-unpow sum-log
47×associate-+l+
44×rec-exp
41×associate-+r+
32×sqrt-pow1
31×pow1/2
29×associate--r+
28×rem-sqrt-square sin-mult
22×cos-mult
21×div-sub neg-sub0
20×+-commutative
17×pow-prod-up pow-sqr
16×sub-div associate--l+
15×inv-pow frac-add pow-flip associate-+l-
14×pow-pow
13×rem-exp-log neg-log
12×distribute-neg-frac
10×associate--l-
9×cube-div pow2 pow-plus
8×distribute-frac-neg log-div
6×distribute-rgt-out-- pow-sub log-rec
5×un-div-inv unpow2
4×distribute-neg-in distribute-lft-neg-out
3×exp-diff unpow3 associate-+r- cube-mult
2×cos-sum rem-cube-cbrt unpow-prod-up tan-sum rem-cbrt-cube distribute-rgt-neg-out rem-log-exp
1×sqrt-unprod exp-neg cube-neg pow-neg exp-to-pow

regimes12.3s (5.6%)

Accuracy

Total 34.7b remaining (22.4%)

Threshold costs 4.7b (3%)

8.3b-1.1%Linear.Matrix:det44 from linear-1.19.1.3
4.8b0%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
4.0b0%Linear.Matrix:det33 from linear-1.19.1.3
3.6b27.7%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.7b89.6%The quadratic formula (r1)

simplify9.1s (4.1%)

bsearch2.6s (1.2%)

localize2.4s (1.1%)

end0.0ms (0.0%)