Details

simplify5.6m (46.8%)

sample3.1m (25.7%)

Algorithm
60×intervals
Results
1.2m331334×body80valid
25.4s208968×body80nan
22.0s21553×body1280valid
9.8s11043×body640valid
4.7s5295×body2560valid
2.6s5220×body320valid
1.2s2557×body160valid
756.0ms16512×pre80true
139.0ms244×body5120valid

prune1.1m (9.0%)

series1.1m (8.9%)

Calls

361 calls:

913.0ms
(+ (+ (- (+ (log (+ x y)) (log z)) t) (* (* 2 (log (cbrt t))) (- a 0.5))) (* (log (pow (/ 1 t) -1/3)) (- a 0.5)))
858.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
817.0ms
(/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))
799.0ms
(/ (* (* x (pow (sqrt E) (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (pow (sqrt E) (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
796.0ms
(/ (- (* (cos a) (+ (/ (sin z) (cos z)) (/ (sin y) (cos y)))) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a)))

rewrite35.7s (5.0%)

Algorithm
106×rewrite-expression-head
Calls

361 calls:

2.3s
(/ (- (- (* 2.0 (* (/ a (* (cbrt b) (cbrt b))) (/ c (cbrt b)))) b) b) (* 2.0 a))
2.3s
(* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- x))
1.7s
(* (+ (* (+ (* (* (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y)) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
1.4s
(+ (+ (- (+ (log (+ x y)) (log z)) t) (* (* 2 (log (cbrt t))) (- a 0.5))) (* (log (cbrt t)) (- a 0.5)))
1.3s
(+ (+ (- (+ (log (+ x y)) (log z)) t) (* (* 2 (log (cbrt t))) (- a 0.5))) (* (log (pow (/ 1 t) -1/3)) (- a 0.5)))
Rules
6875×times-frac
5459×*-un-lft-identity
5129×add-sqr-sqrt
3975×add-cube-cbrt
3078×add-exp-log
1815×cbrt-prod
1681×prod-exp
1442×add-cbrt-cube
963×pow1
853×distribute-rgt-neg-in
811×distribute-lft-neg-in
781×associate-*r*
638×associate-*l*
584×add-log-exp
562×unpow-prod-down
524×div-exp
481×cube-prod
473×cbrt-unprod
442×associate-/r*
427×distribute-lft-out--
388×difference-of-squares
347×flip3-- flip--
344×sqrt-prod
337×associate-/l*
325×pow-exp
318×div-inv
314×pow-to-exp
288×distribute-lft-out
275×pow-prod-down
261×associate-*l/
240×cbrt-undiv neg-mul-1
208×associate-*r/
199×swap-sqr
173×frac-times unswap-sqr
163×cbrt-div
159×exp-prod
158×associate-/r/
157×flip-+ flip3-+
132×log-pow
131×*-commutative
126×sub-neg
105×distribute-rgt-in distribute-lft-in
103×frac-add
97×log-prod
88×associate-/l/
83×clear-num frac-sub frac-2neg
68×sqrt-div sum-log
66×diff-log sqr-pow
59×pow1/3
54×1-exp rec-exp
52×associate-+r+
42×pow-unpow
37×tan-quot unpow3 cube-mult
36×log-div
33×associate-+l+
26×pow1/2 sqrt-pow1
25×+-commutative
24×associate--l+
22×rem-sqrt-square associate-+l- associate--r+
21×cos-mult
20×neg-sub0 sin-mult div-sub
18×pow-pow
17×exp-sum
16×pow-sqr pow-prod-up
14×unpow-prod-up pow-flip
13×rem-log-exp
12×associate--l- inv-pow exp-neg
11×exp-diff
10×rem-exp-log un-div-inv sub-div unpow2 pow-sub neg-log distribute-rgt-neg-out distribute-neg-frac
9×pow-plus
8×pow2 distribute-frac-neg
4×e-exp-1
3×cube-div associate-+r- unsub-neg
2×cos-sum rem-cube-cbrt sqrt-undiv sqrt-pow2 associate--r- tan-sum
1×acos-asin sqrt-unprod distribute-lft-neg-out distribute-neg-in distribute-rgt-out log-rec quot-tan rem-cbrt-cube exp-to-pow

regimes22.3s (3.1%)

Accuracy

Total 33.4b remaining (25.8%)

Threshold costs 2.4b (1.8%)

9.0b14.3%Linear.Matrix:det33 from linear-1.19.1.3
4.7b83.4%The quadratic formula (r1)
2.8b68%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
2.3b48%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
2.0b0%Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2

bsearch5.1s (0.7%)

localize4.9s (0.7%)

end1.0ms (0.0%)