Details

sample3.4m (28.8%)

Algorithm
60×intervals
Results
1.5m334146×body80valid
32.1s207561×body80nan
27.4s21747×body1280valid
10.5s10762×body640valid
6.0s5338×body2560valid
4.2s5131×body320valid
1.4s16512×pre80true
864.0ms2453×body160valid
194.0ms231×body5120valid

prune3.4m (28.5%)

simplify3.2m (26.7%)

series57.3s (8.1%)

Calls

359 calls:

Slowest
4.4s
(* (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (+ (+ (* x y) (* z t)) (* a b)))
796.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
713.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))
673.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
612.0ms
(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))

regimes25.0s (3.5%)

Accuracy

Total 39.6b remaining (25.7%)

Threshold costs 3.3b (2.2%)

8.8b-1.4%Linear.Matrix:det44 from linear-1.19.1.3
4.7b-11%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
4.6b83.4%The quadratic formula (r1)
3.6b2.3%Linear.Matrix:det33 from linear-1.19.1.3
3.1b88.5%NMSE problem 3.2.1

rewrite17.1s (2.4%)

Algorithm
104×rewrite-expression-head
Calls

359 calls:

Slowest
1.5s
(- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
540.0ms
(* (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
524.0ms
(cbrt (* (* (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))) (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))))
446.0ms
(cos (+ a b))
404.0ms
(/ (+ (* (+ (* (+ (* (* (cbrt (* (+ (* x y) z) y)) (cbrt (* (+ (* x y) z) y))) (cbrt (* (+ (* x y) z) y))) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
Rules
4311×add-sqr-sqrt
4147×*-un-lft-identity
3953×times-frac
2471×add-cube-cbrt
2360×add-exp-log
1384×add-cbrt-cube
1308×pow1
1074×prod-exp
708×associate-*l*
683×associate-*r*
596×sqrt-prod
592×add-log-exp
567×distribute-lft-out--
521×cbrt-prod
518×difference-of-squares div-exp
502×cbrt-unprod
463×pow-prod-down
389×flip3-- flip--
370×frac-times
365×associate-/r*
359×insert-posit16
308×distribute-rgt-neg-in
289×associate-*r/
286×cbrt-div
276×distribute-lft-neg-in
270×distribute-lft-out
269×associate-/l* unswap-sqr
256×associate-*l/
246×frac-sub
240×flip-+ flip3-+
210×cbrt-undiv
187×div-inv
175×associate-/r/
150×1-exp rec-exp
120×pow-exp
119×pow-to-exp
117×*-commutative
116×sqrt-div unpow-prod-down sub-neg
105×pow-prod-up
94×pow1/3
92×distribute-rgt-in distribute-lft-in
77×log-prod
75×neg-mul-1
73×sin-mult
70×sum-log diff-log
69×swap-sqr
66×associate-/l/
60×frac-2neg clear-num
58×pow-sqr
56×tan-quot
39×pow-plus
38×frac-add
36×sqrt-pow1 pow1/2
31×sqr-pow
30×associate-+r+
29×pow-flip
28×cos-mult inv-pow rem-sqrt-square log-pow
27×associate-+l+
26×associate--r+ exp-prod
25×+-commutative
23×associate--l+
22×div-sub
21×neg-sub0
20×difference-of-sqr-1
18×pow2 associate-+l-
17×sub-div
16×distribute-neg-frac
14×rem-exp-log
13×exp-sum
11×neg-log
10×pow-unpow cube-prod
9×un-div-inv distribute-frac-neg
8×pow-pow log-div
7×unpow-prod-up associate--l-
6×associate-+r- cube-div
5×exp-diff pow3 distribute-rgt-out--
3×rem-cbrt-cube
2×distribute-lft-neg-out sqrt-pow2 cos-sum tan-sum remove-posit16 rem-log-exp cos-2
1×cube-unmult unpow3 sqrt-unprod cube-mult associate--r- e-exp-1

bsearch6.8s (1.0%)

localize6.6s (0.9%)

end1.0ms (0.0%)