Details

simplify20.5m (84.0%)

sample1.3m (5.3%)

Algorithm
342×intervals
Results
43.4s750047×body80valid
2.1s26558×body80nan
1.7s3939×body640valid
1.6s3951×body1280valid
910.0ms2407×body320valid
384.0ms978×body2560valid
165.0ms1199×body160valid
24.0ms36×body10240exit
5.0ms1×body5120valid
4.0ms17×body1280nan
2.0ms14×body640nan
2.0ms14×body320nan
1.0ms8×body160nan

prune1.2m (4.7%)

series43.8s (3.0%)

Calls

428 calls:

3.2s
(fma (* (* t y) (* z x)) 18.0 (fma c b (- (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))
791.0ms
(fma x (fma y z (- (* a t))) (fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i)))))
744.0ms
(fma x (- (* y z) (* t a)) (fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i)))))
700.0ms
(fma x (fma y z (- (* a t))) (fma b (- (* t i) (* c z)) (+ (* j (* c a)) (* (- (* y i)) j))))
668.0ms
(- (* (+ y 0.5) (log y)) y)

rewrite33.0s (2.3%)

Algorithm
427×rewrite-expression-head
Calls

885 calls:

800.0ms
(+ (+ (/ (sqrt 2.0) (/ (* t z) (sqrt 2.0))) (/ 2.0 t)) (- (/ x y) 2.0))
541.0ms
(- (/ z (/ a y)) (- (/ 1 (/ (/ a y) t)) x))
459.0ms
(* (- y x) (- (/ (/ 2.0 (sqrt 3.0)) (sqrt 3.0)) z))
443.0ms
(* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
436.0ms
(* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* x 18.0) y) z))) t)
Rules
16600×times-frac
16092×add-sqr-sqrt
15164×*-un-lft-identity
12266×add-cube-cbrt
6403×prod-diff
3178×add-exp-log
2864×add-cbrt-cube
2083×pow1
1641×sqrt-prod
1474×distribute-rgt-in distribute-lft-in
1369×add-log-exp
1282×associate-*r*
1226×difference-of-squares
1182×div-inv
1061×associate-*l*
1022×associate-/r*
928×distribute-lft-out--
885×log1p-expm1-u expm1-log1p-u
830×prod-exp
803×associate-/l*
766×cbrt-unprod
664×cbrt-prod
614×div-exp
574×flip3-- flip--
570×pow-prod-down
559×associate--r+
544×distribute-lft-out
500×cbrt-undiv
457×fma-neg
437×fma-def
390×associate-/r/
374×associate-+l+
360×associate-*r/
336×unswap-sqr
329×log-prod
319×frac-times
309×associate-*l/
272×flip-+ flip3-+
264×cbrt-div
263×*-commutative
248×sub-neg
221×associate-+r+
204×pow1/3
198×clear-num frac-2neg
172×swap-sqr
159×associate-/l/
153×associate--l+
141×fma-udef
137×diff-log
136×sum-log
86×sqrt-pow1
72×+-commutative
71×distribute-rgt-neg-in
70×distribute-lft-neg-in log-pow
64×pow-prod-up
62×pow1/2
54×pow-sqr
48×unpow-prod-down 1-exp rec-exp
42×div-sub
39×frac-add
37×exp-sum
34×sqrt-div
32×distribute-rgt-out
30×cube-prod frac-sub
25×pow-plus pow2
23×cos-sum
20×rem-sqrt-square
18×associate-+l-
17×log-div
14×exp-prod cosh-def
12×pow-unpow sqr-pow neg-mul-1 rem-log-exp
10×pow-flip
9×distribute-rgt-out--
8×rem-exp-log associate--l- inv-pow tanh-def
7×distribute-lft-neg-out distribute-rgt-neg-out associate-+r- pow-pow
6×sub-div
5×distribute-lft1-in distribute-rgt1-in count-2 unsub-neg pow-exp
4×exp-diff sqrt-unprod pow-to-exp rem-square-sqrt associate--r- sinh-def
3×rem-cube-cbrt unpow3 cos-diff cube-mult hypot-def
2×un-div-inv tan-quot
1×difference-cubes diff-cos hypot-udef distribute-neg-frac exp-to-pow

localize7.2s (0.5%)

regimes2.8s (0.2%)

Accuracy

Total 12.3b remaining (95.7%)

Threshold costs 1.8b (13.7%)

7.1b35.7%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
1.4b77.7%Diagrams.Solve.Tridiagonal:solveCyclicTriDiagonal from diagrams-solve-0.1, A
1.1b86.8%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, I
1.0b57.6%Optimisation.CirclePacking:place from circle-packing-0.1.0.4, E
0.8b77.5%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, A

bsearch12.0ms (0.0%)

end1.0ms (0.0%)