Details

sample1.1m (34.1%)

Algorithm
60×intervals
Results
22.9s321236×body80valid
8.8s21312×body1280valid
8.5s207585×body80nan
3.2s11165×body640valid
2.4s5321×body2560valid
994.0ms5167×body320valid
409.0ms16512×pre80true
356.0ms2660×body160valid
62.0ms230×body5120valid

prune48.6s (24.7%)

series41.2s (20.9%)

Calls

358 calls:

976.0ms
(/ (- (* (* 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))))
822.0ms
(- (* (* 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)))))
660.0ms
(* (/ (* (cbrt (- y z)) (cbrt (- y z))) (/ (- (+ t 1.0) z) (cbrt (- y z)))) (- a x))
488.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))))))))
486.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

regimes14.7s (7.5%)

Accuracy

Total 23.0b remaining (19.1%)

Threshold costs 3.2b (2.6%)

4.6b39.1%Linear.Matrix:det33 from linear-1.19.1.3
2.8b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.6b37.4%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.2b0%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
1.5b64.4%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3

rewrite9.9s (5.0%)

Algorithm
104×rewrite-expression-head
Calls

358 calls:

689.0ms
(* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- a x))
638.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))
504.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)
340.0ms
(/ (- (* (* 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))))
336.0ms
(/ 1 (* (sqrt (exp (/ (+ f n) (- f n)))) (sqrt (exp (/ (+ f n) (- f n))))))
Rules
4356×*-un-lft-identity
3850×times-frac
3684×add-sqr-sqrt
2611×add-cube-cbrt
2379×add-exp-log
1370×add-cbrt-cube
1167×associate-*r*
1153×prod-exp
1046×pow1
994×associate-*l/
925×associate-*r/
820×flip-- flip3--
723×sqrt-pow1
719×sqrt-prod
717×exp-prod
643×frac-sub
599×associate-*l*
571×cbrt-unprod
559×add-log-exp
519×frac-times
482×unpow-prod-down
452×pow-prod-down
441×distribute-lft-out--
405×cbrt-prod
399×div-exp
379×distribute-lft-out
345×difference-of-squares
336×sqrt-div
297×associate-/r*
272×log-prod
249×flip-+ flip3-+
234×pow-flip
229×associate-/l/
227×distribute-rgt-neg-in
226×associate-/l*
223×distribute-rgt-in distribute-lft-in
211×cbrt-undiv
209×distribute-lft-neg-in
189×unswap-sqr
177×pow-exp
170×pow-to-exp
167×div-inv
147×associate-/r/
141×*-commutative
131×sub-neg
129×pow-prod-up
124×cbrt-div
119×pow-sqr
89×exp-sum
86×log-pow
78×pow1/2
75×pow1/3
66×sqr-pow
65×associate-+r+
62×sum-log
60×clear-num frac-2neg
58×neg-mul-1
57×diff-log
52×associate-+l+
42×swap-sqr
41×tan-quot
35×pow-unpow
28×1-exp rec-exp
26×frac-add +-commutative sin-mult
25×rem-sqrt-square associate-+l-
24×unpow2
23×associate--l+
20×cos-mult associate--r+
19×neg-sub0
17×div-sub
16×inv-pow
15×log-div
14×neg-log
12×sub-div distribute-neg-frac
10×pow-pow rem-exp-log distribute-neg-in distribute-rgt-out--
9×distribute-rgt-neg-out log-rec
8×pow2 pow-plus associate--l-
7×associate-+r-
6×sqrt-unprod rem-log-exp
5×exp-diff
4×distribute-lft-neg-out unpow-prod-up cube-prod
3×unsub-neg
2×un-div-inv pow-sub rem-square-sqrt distribute-frac-neg tan-sum cos-sum pow-neg exp-to-pow
1×unpow3 e-exp-1 exp-neg cube-mult +-inverses

simplify8.9s (4.5%)

Algorithm
164×egg-herbie

bsearch3.7s (1.9%)

localize2.8s (1.4%)

end0.0ms (0.0%)