Details

rewrite6.9s (5.3%)

Algorithm

45×	rewrite-expression-head

Calls

138 calls:

552.0ms	(/ (- (sqrt (- (* b b) (* (* 3.0 a) c))) b) 3.0)
477.0ms	(sqrt (- (* b b) (* (* 3.0 a) c)))
471.0ms	(/ (* 2.0 PI) 3.0)
181.0ms	(/ (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) (* 2.0 a))
175.0ms	(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))

Rules

1006×	*-un-lft-identity
949×	add-exp-log
870×	add-sqr-sqrt
679×	times-frac
546×	add-cube-cbrt
390×	add-cbrt-cube
388×	prod-exp
332×	div-exp
263×	pow-exp
261×	pow1
227×	add-log-exp
184×	pow-to-exp
161×	flip--
160×	flip3--
153×	associate-*l/
146×	associate-/l*
124×	distribute-lft-out
123×	difference-of-squares
105×	distribute-lft-out-- associate-/r*
99×	associate-*r*
88×	sqrt-div
87×	cbrt-undiv
84×	associate-*l*
82×	sqrt-prod
80×	cbrt-unprod frac-times
71×	frac-add
62×	div-inv
52×	associate-*r/
46×	pow-prod-down
43×	cbrt-prod flip-+
42×	flip3-+
38×	log-prod
36×	associate-/r/ clear-num frac-2neg
34×	sub-neg
32×	associate-/l/
30×	unswap-sqr
26×	div-sub
23×	diff-log
22×	sum-log
21×	*-commutative unpow-prod-down
18×	+-commutative
13×	distribute-rgt-out swap-sqr
12×	pow1/2 rem-sqrt-square distribute-rgt-neg-in sqrt-pow1
11×	pow1/3 cos-diff cbrt-div
9×	cos-sum
8×	associate-+l- distribute-rgt-in pow-sqr tan-quot pow-prod-up distribute-lft-in associate-+r- neg-sub0
7×	log-div
6×	pow-unpow acos-asin sin-diff
5×	acos-neg pow-plus distribute-frac-neg sin-sum
4×	neg-log associate--l+ pow2 rem-log-exp
3×	cube-prod sin-mult log-pow
2×	associate-+r+ distribute-lft1-in sqr-pow associate--l- frac-sub pow-pow
1×	rem-cube-cbrt cube-mult sin-cos-mult unpow3 tanh-undef asin-acos