Details

series10.1m (77.5%)

Calls

71 calls:

3.0s
(fma (* (* t y) (* z x)) 18.0 (fma c b (- (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))
348.0ms
(+ x (* (/ (- y z) (- (+ t 1.0) z)) (- a x)))
330.0ms
(+ (+ (fma t z (* x y)) (* a b)) (* c i))
329.0ms
(+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))
313.0ms
(+ (+ (* t z) (fma x y (* a b))) (* c i))

simplify2.3m (17.4%)

sample20.0s (2.6%)

Algorithm
38×intervals
Results
9.5s86436×body80valid
2.4s38585×body80nan
2.0s4730×body1280valid
185.0ms315×body640valid
184.0ms8512×pre80true
184.0ms160×body2560valid
65.0ms150×body320valid
22.0ms85×body160valid
3.0ms5×body5120valid

prune10.4s (1.3%)

rewrite6.7s (0.9%)

Algorithm
48×rewrite-expression-head
Calls

135 calls:

307.0ms
(* (* (* (* x 18.0) y) z) t)
282.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
205.0ms
(* (* (* (* x 18.0) y) z) t)
202.0ms
(* (* (* (* x 18.0) y) z) t)
185.0ms
(/ 1 (- (- (/ (/ PI 2) a) (/ (asin a) a))))
Rules
2315×times-frac
2240×add-sqr-sqrt
2160×*-un-lft-identity
1815×add-cube-cbrt
973×prod-diff
574×add-exp-log
467×add-cbrt-cube
389×pow1
237×add-log-exp
232×prod-exp
224×distribute-rgt-neg-in
216×distribute-lft-neg-in
207×associate-*l*
205×associate-*r*
173×div-inv
164×cbrt-unprod
160×sqrt-prod
154×fma-neg
135×log1p-expm1-u expm1-log1p-u
132×pow-prod-down
130×associate-/r*
123×difference-of-squares
114×distribute-lft-out--
100×associate-/l*
78×distribute-lft-out
63×distribute-rgt-in distribute-lft-in
60×div-exp
58×flip3-- flip--
50×*-commutative
46×sub-neg
45×cbrt-undiv
43×fma-def neg-mul-1 unswap-sqr
39×cbrt-prod
37×associate-+r+
35×associate-*r/
31×unpow-prod-down
30×sum-log
27×log-pow diff-log
23×pow-to-exp pow-exp
22×clear-num frac-2neg
19×associate-/l/ flip-+ associate-*l/ flip3-+ log-prod
18×sqrt-div cube-prod
17×exp-prod exp-sum
15×fma-udef
13×pow-unpow associate-/r/
12×+-commutative frac-times
9×associate-+l+ distribute-rgt-out--
8×pow1/2 sqr-pow div-sub distribute-neg-frac sqrt-pow1 pow-pow
7×pow1/3 neg-sub0 neg-log
6×rem-exp-log rem-sqrt-square tan-quot frac-sub associate-+l-
5×associate--l- distribute-neg-in
4×sub-div associate--l+ log-div
3×exp-diff rem-cube-cbrt unpow3 1-exp cube-mult rec-exp
2×distribute-lft-neg-out inv-pow pow-flip asin-acos cos-sum tan-sum
1×un-div-inv sqrt-unprod associate-+r- exp-neg frac-add distribute-frac-neg acos-asin associate--r- distribute-rgt-neg-out

localize1.8s (0.2%)

regimes897.0ms (0.1%)

Accuracy

Total 3.1b remaining (91.3%)

Threshold costs 0.2b (6.6%)

1.6b52.8%fabs fraction 1
1.3b78.2%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
0.2b0%Fuzzer 001
0.0b0%Linear.V4:$cdot from linear-1.19.1.3

bsearch6.0ms (0.0%)

end0.0ms (0.0%)