Details

sample1.7m (43.5%)

Algorithm
60×intervals
Results
44.7s330932×body80valid
14.3s207050×body80nan
10.0s23564×body1280valid
3.7s11906×body640valid
3.5s7421×body2560valid
1.2s5545×body320valid
946.0ms16512×pre80true
439.0ms2711×body160valid
225.0ms537×body5120valid

series46.3s (20.2%)

Calls

361 calls:

2.1s
(/ (- (* (* z (/ (sqrt (+ t a)) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (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)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
2.0s
(- (* (* z (/ (sqrt (+ t a)) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (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)))))
1.4s
(* (cbrt (log (sqrt (exp (/ (- (+ f n)) (- f n)))))) (cbrt (log (sqrt (exp (/ (- (+ f n)) (- f n)))))))
489.0ms
(/ (+ (* (* (cbrt (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)) (cbrt (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y))) (cbrt (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y))) t) (+ (* 1 (* (+ (* (+ (* (+ y a) y) b) y) c) y)) i))
487.0ms
(+ (pow (+ (* a a) (* b b)) (* 2 2.0)) (- (* (* 4.0 (+ (* (* a a) (+ 1.0 a)) (* (* b b) (- 1.0 (* 3.0 a))))) (* 4.0 (+ (* (* a a) (+ 1.0 a)) (* (* b b) (- 1.0 (* 3.0 a))))))))

prune45.7s (19.9%)

regimes15.4s (6.7%)

Accuracy

Total 37.6b remaining (24%)

Threshold costs 4.0b (2.6%)

11.8b-12%Linear.Matrix:det44 from linear-1.19.1.3
5.5b2.9%Linear.Matrix:det33 from linear-1.19.1.3
4.3b0%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
2.5b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.5b23.1%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

rewrite8.2s (3.6%)

Algorithm
104×rewrite-expression-head
Calls

361 calls:

474.0ms
(/ (* (* x (/ (pow (sqrt (/ 1 a)) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (/ (pow (sqrt (/ 1 a)) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) y)
363.0ms
(* (* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) (/ 1 y))
330.0ms
(* (cbrt (log (sqrt (exp (/ (- (+ f n)) (- f n)))))) (cbrt (log (sqrt (exp (/ (- (+ f n)) (- f n)))))))
318.0ms
(/ (- (* (* z (/ (sqrt (+ t a)) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (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)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
168.0ms
(- (* (* z (/ (sqrt (+ t a)) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (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)))))
Rules
3619×*-un-lft-identity
3408×add-sqr-sqrt
2638×times-frac
2189×add-exp-log
2075×add-cube-cbrt
1248×add-cbrt-cube
993×prod-exp
942×associate-*r*
913×exp-prod
901×log-pow
899×pow1
887×cbrt-prod
793×sqrt-pow1
684×associate-*l/
671×associate-*r/
649×associate-*l*
623×flip-- flip3--
595×add-log-exp
497×distribute-rgt-neg-in
478×frac-sub
436×frac-times
432×distribute-lft-neg-in
428×div-exp
417×distribute-lft-out--
416×cbrt-unprod
412×difference-of-squares
327×distribute-lft-out
314×sqrt-prod
225×pow-prod-down
222×associate-/r*
215×swap-sqr
213×log-prod
212×cbrt-undiv
210×associate-/l*
207×unswap-sqr
203×unpow-prod-down
192×pow-exp
158×pow-to-exp
157×distribute-rgt-in distribute-lft-in
148×associate-/l/
129×*-commutative
126×div-inv
123×sub-neg
120×flip-+ flip3-+
118×associate-/r/
108×neg-mul-1
99×cbrt-div
88×pow1/3
76×tan-quot
74×sqrt-div
71×sum-log
64×diff-log
55×clear-num frac-2neg
48×1-exp rec-exp
47×sqr-pow exp-sum
42×frac-add
40×associate-+r+
39×pow1/2
34×neg-sub0
33×associate-+l+
32×pow-unpow sin-mult
30×rem-sqrt-square +-commutative
27×associate--r+
24×log-div
23×neg-log cos-mult
20×pow-flip associate-+l-
19×div-sub
17×pow-prod-up pow-sqr associate--l+
15×pow-pow un-div-inv unpow2
14×inv-pow distribute-frac-neg
13×associate--l-
12×sub-div distribute-neg-frac
11×exp-diff
9×exp-neg pow-plus
8×distribute-rgt-neg-out pow2 rem-log-exp log-rec
7×cube-div rem-exp-log
6×distribute-neg-in associate-+r-
4×rem-cube-cbrt unpow3 distribute-lft-neg-out unsub-neg cube-mult cube-prod
2×cos-sum unpow1/3 tan-sum rem-cbrt-cube
1×mul-1-neg sqrt-unprod

simplify7.9s (3.4%)

Algorithm
164×egg-herbie

bsearch3.6s (1.6%)

localize2.7s (1.2%)

end0.0ms (0.0%)