Details

simplify8.6m (48.1%)

prune4.0m (22.5%)

sample3.2m (17.8%)

Algorithm
60×intervals
Results
1.3m298639×body80valid
30.9s207651×body80nan
28.8s21511×body1280valid
14.1s11040×body640valid
6.8s5364×body2560valid
3.4s5153×body320valid
1.2s16512×pre80true
1.0s2422×body160valid
233.0ms230×body5120valid

series1.2m (6.6%)

Calls

351 calls:

3.7s
(fma (- (* y (* z (* x 18.0))) (* a 4.0)) t (- (* c b) (fma 27.0 (* k j) (* (* x 4.0) i))))
3.7s
(fma (- (* (* y z) (* x 18.0)) (* a 4.0)) t (- (* c b) (fma j (* k 27.0) (* (* 4.0 i) x))))
3.5s
(fma (- (* (* y z) (* x 18.0)) (* a 4.0)) t (- (* c b) (fma 27.0 (* k j) (* (* x 4.0) i))))
1.2s
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (- (* t c) (* y i)) j)))
867.0ms
(fma (- (* z y) (* t a)) x (fma b (- (* i a) (* z c)) (* (* (* (- (* t c) (* y i)) (cbrt j)) (cbrt j)) (cbrt j))))

regimes27.4s (2.6%)

Accuracy

Total 23.7b remaining (18.7%)

Threshold costs 7.2b (5.6%)

4.3b84.4%The quadratic formula (r1)
4.3b13%Linear.Matrix:det33 from linear-1.19.1.3
3.8b30.3%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.0b0%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1
1.1b95.4%NMSE problem 3.2.1

rewrite14.1s (1.3%)

Algorithm
103×rewrite-expression-head
Calls

351 calls:

1.2s
(/ (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (* (* (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)
1.1s
(/ (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (expm1 (log1p (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))))))) y)
929.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)
338.0ms
(/ (+ (* (+ (* (+ (* (* (* (cbrt y) (cbrt y)) (fma y x z)) (cbrt y)) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
285.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin y) (tan z)) (cos y)))) (tan a)))
Rules
11821×times-frac
7820×*-un-lft-identity
7754×add-sqr-sqrt
6657×add-cube-cbrt
2426×cbrt-prod
1486×add-exp-log
1472×prod-diff
1242×add-cbrt-cube
911×pow1
813×sqrt-prod
640×associate-*r*
594×associate-*l*
569×div-inv
543×add-log-exp
480×prod-exp
448×cbrt-unprod
432×associate-/l*
351×expm1-log1p-u log1p-expm1-u insert-posit16
340×distribute-rgt-neg-in
338×difference-of-squares
324×distribute-lft-neg-in
303×distribute-lft-out--
301×associate-/r*
300×distribute-lft-out
294×div-exp
272×fma-neg
261×cbrt-undiv
238×pow-prod-down
202×flip3-- flip--
200×associate-+r+
198×cbrt-div
173×associate-*r/
164×associate-*l/
161×unswap-sqr
153×frac-times
148×associate-/r/
135×exp-diff
124×log-pow
123×exp-sum
109×exp-prod
100×distribute-rgt-in distribute-lft-in
96×associate-/l/
93×*-commutative neg-mul-1
91×sub-neg
80×pow1/3
74×diff-log
66×log-prod
59×frac-2neg clear-num
57×fma-def
55×flip-+ flip3-+
45×fma-udef
42×sqrt-div
39×rem-sqrt-square
37×sqrt-pow1
36×associate-+l+ pow1/2
33×rem-exp-log tan-quot
31×sum-log swap-sqr
24×pow-prod-up
22×sin-mult
20×pow-sqr
18×1-exp
16×cos-mult rec-exp div-sub
15×frac-sub
14×pow-plus distribute-neg-frac
12×associate--l+ +-commutative associate-+l- unpow-prod-down
10×neg-sub0 log-div
9×sub-div associate--l-
8×pow2 neg-log
7×pow-unpow
5×associate--r+ frac-add
4×pow-flip sqr-pow difference-of-sqr-1 inv-pow hypot-def
3×remove-posit16 pow-exp associate-+r- pow-pow pow-to-exp cos-2
2×distribute-frac-neg log1p-udef pow3 un-div-inv tan-sum unpow2 cos-sum rem-log-exp
1×distribute-rgt-neg-out sqrt-unprod distribute-rgt-out-- unpow1/3 +-inverses rem-cbrt-cube

localize6.7s (0.6%)

bsearch5.4s (0.5%)

end0.0ms (0.0%)