Details

prune5.0m (32.4%)

simplify4.8m (30.9%)

sample3.6m (23.5%)

Algorithm
60×intervals
Results
1.7m335925×body80valid
33.6s206772×body80nan
28.0s21400×body1280valid
12.5s11017×body640valid
7.4s5318×body2560valid
4.3s5141×body320valid
1.1s16512×pre80true
1.1s2509×body160valid
630.0ms256×body5120valid

series57.2s (6.2%)

Calls

362 calls:

1.2s
(cbrt (* (* (- y z) (/ 1 (- (+ t 1.0) z))) (- a x)))
1.1s
(cbrt (* (* (- y z) (/ 1 (- (+ t 1.0) z))) (- a x)))
1.0s
(cbrt (* (* (- y z) (/ 1 (- (+ t 1.0) z))) (- a x)))
966.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))
672.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a)))

regimes29.1s (3.1%)

Accuracy

Total 49.3b remaining (30.4%)

Threshold costs 4.2b (2.6%)

11.3b-29.9%Linear.Matrix:det44 from linear-1.19.1.3
6.1b78.1%The quadratic formula (r1)
5.7b8.4%Linear.Matrix:det33 from linear-1.19.1.3
4.3b84%NMSE problem 3.2.1
4.1b16.7%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3

rewrite22.1s (2.4%)

Algorithm
104×rewrite-expression-head
Calls

362 calls:

1.4s
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) (* (cbrt (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) (cbrt (+ (* (+ (* (+ y a) y) b) y) c)))) (cbrt (cbrt (+ (* (+ (* (+ y a) y) b) y) c))))) (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) y)) i))
1.1s
(* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- a x))
1.1s
(cbrt (* (* (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (* (sin a) (sin b)) (* (sin a) (sin b)))) (* (* (sin a) (sin b)) (* (sin a) (sin b)))))
918.0ms
(cbrt (* (* (sin a) (sin b)) (cbrt (* (* (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (* (sin a) (sin b)) (* (sin a) (sin b)))) (* (* (sin a) (sin b)) (* (sin a) (sin b)))))))
705.0ms
(/ (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
Rules
47245×times-frac
21163×add-sqr-sqrt
20886×*-un-lft-identity
19921×add-cube-cbrt
12973×cbrt-prod
2397×add-exp-log
1560×add-cbrt-cube
1374×pow1
1304×div-inv
914×frac-times
832×prod-exp
791×associate-*r*
726×div-exp
703×sin-mult
612×add-log-exp
598×associate-*l*
560×cbrt-unprod
556×associate-*r/
543×cbrt-div associate-*l/
501×pow-prod-down
492×associate-/r*
432×flip3-- flip--
406×difference-of-squares
362×insert-posit16
336×sqrt-prod
326×cbrt-undiv
325×associate-/l*
312×distribute-lft-out--
302×sqrt-div
283×flip-+ flip3-+
253×frac-sub
226×associate-/r/
179×distribute-rgt-neg-in
160×unswap-sqr
153×distribute-lft-out sub-neg
150×distribute-lft-neg-in
146×1-exp
133×swap-sqr
125×*-commutative
103×distribute-rgt-in distribute-lft-in
95×rec-exp frac-add
90×exp-prod
78×diff-log
76×pow1/3
67×pow-prod-up
61×associate-/l/
60×sqrt-pow1
59×frac-2neg clear-num
57×log-prod
56×pow-sqr
55×pow1/2
52×sum-log exp-sum
48×neg-mul-1 unpow-prod-down
40×rem-exp-log
35×associate-+r+ rem-sqrt-square
34×log-pow
28×exp-diff
25×pow-plus
23×associate--r+
21×+-commutative
20×pow-sub
19×associate--l+
18×tan-quot pow-unpow
17×associate-+l+
16×unpow-prod-up cos-mult un-div-inv
14×pow2 pow-pow
13×pow-flip
12×inv-pow
11×sub-div
10×pow3 sqr-pow
9×neg-sub0 log-div
8×distribute-neg-frac
7×associate-+r- cube-unmult pow-exp neg-log div-sub
6×associate-+l-
5×distribute-lft-neg-out sqrt-unprod exp-to-pow sum-cubes rem-cbrt-cube
4×distribute-rgt-out-- difference-of-sqr-1 associate--l- pow-to-exp rem-log-exp
2×difference-of-sqr--1 distribute-frac-neg cos-sum tan-sum cos-2
1×quot-tan rem-square-sqrt remove-posit16

bsearch7.6s (0.8%)

localize6.6s (0.7%)

end0.0ms (0.0%)