Details

simplify20.3m (60.6%)

series10.6m (31.6%)

Calls

384 calls:

3.6s
(fma (* (* t y) (* z x)) 18.0 (fma c b (- (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))
865.0ms
(fma x (- (* y z) (* t a)) (fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y)))))
729.0ms
(fma x (- (* y z) (* t a)) (fma b (- (* i a) (* c z)) (* (fma c t (- (* y i))) j)))
667.0ms
(cbrt (* j (- (* c t) (* i y))))
547.0ms
(* b (- (* c z) (* t i)))

sample1.3m (3.8%)

Algorithm
337×intervals
Results
41.6s690449×body80valid
3.1s6757×body1280valid
2.2s6376×body640valid
1.6s16531×body80nan
1.1s1756×body2560valid
704.0ms4076×body320valid
340.0ms2546×body160valid
33.0ms36×body10240exit
14.0ms3×body5120valid
7.0ms17×body1280nan
5.0ms12×body640nan
4.0ms14×body320nan
1.0ms7×body160nan

prune43.1s (2.1%)

rewrite29.9s (1.5%)

Algorithm
421×rewrite-expression-head
Calls

868 calls:

1.1s
(+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))
699.0ms
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
424.0ms
(/ (+ x y) (* t 2.0))
341.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
312.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))
Rules
11022×add-sqr-sqrt
10884×*-un-lft-identity
9651×times-frac
8274×add-cube-cbrt
3592×prod-diff
3374×add-exp-log
2861×add-cbrt-cube
2135×pow1
1480×associate-*r*
1396×distribute-rgt-in distribute-lft-in
1224×add-log-exp
1125×associate-*l*
1031×cbrt-prod
978×prod-exp
883×distribute-lft-out--
877×difference-of-squares
868×log1p-expm1-u expm1-log1p-u
852×associate-/r*
851×cbrt-unprod
764×associate-/l* div-inv
742×sqrt-prod
663×div-exp
604×pow-prod-down
567×flip3-- flip--
502×cbrt-undiv
485×log-prod
473×distribute-lft-out
397×cbrt-div
384×associate-/r/
377×unswap-sqr
360×associate-*r/
351×frac-times
342×associate-*l/
284×swap-sqr
278×flip-+ flip3-+
261×pow1/3
258×fma-neg
257×*-commutative
243×associate-+r+
226×sub-neg
212×fma-def
182×clear-num frac-2neg
157×exp-sum
156×associate-/l/
147×fma-udef
137×unpow-prod-down
111×associate-+l+
109×associate--l+
104×sum-log
93×diff-log
86×log-pow
69×pow-prod-up 1-exp
64×+-commutative
63×pow-sqr
59×rec-exp
58×sqrt-pow1
54×pow1/2
47×div-sub
42×sqrt-div
36×cube-prod
34×sqr-pow
32×pow2 pow-plus
27×associate--r+
25×rem-sqrt-square frac-sub
23×frac-add cos-sum
19×log-div
16×distribute-rgt-out
14×rem-log-exp
11×distribute-rgt-neg-in
10×distribute-lft-neg-in pow-flip
9×sqrt-undiv associate-+l-
8×inv-pow tanh-def associate-+r-
7×distribute-lft-neg-out cosh-def distribute-rgt-neg-out
6×pow-unpow exp-prod
5×distribute-lft1-in sqrt-unprod distribute-rgt1-in count-2 unsub-neg rem-square-sqrt pow-exp
4×rem-exp-log associate--l- sub-div hypot-def neg-mul-1 distribute-rgt-out-- pow-pow sinh-def
3×un-div-inv cos-diff pow-to-exp associate--r-
2×exp-diff difference-cubes unpow3 cube-mult tan-quot
1×rem-cube-cbrt sqrt-pow2 cube-unmult diff-cos exp-to-pow rem-cbrt-cube

localize6.5s (0.3%)

regimes2.2s (0.1%)

Accuracy

Total 3.3b remaining (29.5%)

Threshold costs 0.9b (8.2%)

1.3b78.2%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, E
1.1b70.4%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, A
0.5b0%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, I
0.2b0%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, F
0.1b0%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, B

bsearch9.0ms (0.0%)

end1.0ms (0.0%)