Details

rewrite5.8s (3.8%)

Algorithm

47×	rewrite-expression-head

Calls

148 calls:

202.0ms	(* (/ (/ a1 (* (cbrt b1) (cbrt b1))) (* (cbrt b2) (cbrt b2))) (/ (/ a2 (cbrt b1)) (cbrt b2)))
176.0ms	(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))
172.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)))
165.0ms	(/ (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) (* 2.0 a))
164.0ms	(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

Rules

3145×	*-un-lft-identity
2484×	add-sqr-sqrt
2476×	times-frac
1905×	add-cube-cbrt
1374×	prod-diff
1019×	add-exp-log
412×	add-cbrt-cube
403×	prod-exp
390×	distribute-lft-out
367×	div-exp
299×	cbrt-prod
263×	pow-exp
247×	add-log-exp
246×	pow1
235×	difference-of-squares distribute-lft-out--
232×	associate-/r/
202×	associate-*r*
184×	pow-to-exp
177×	div-inv
149×	associate-/l*
148×	log1p-expm1-u expm1-log1p-u
143×	fma-neg
122×	cbrt-undiv
114×	fma-def
108×	flip--
107×	flip3--
101×	associate-/r* sqrt-prod
100×	flip-+
99×	flip3-+
95×	cbrt-unprod
87×	associate-*l*
61×	log-prod
58×	distribute-rgt-in distribute-lft-in
48×	associate--l+
45×	sub-neg
44×	exp-sum
38×	unswap-sqr
37×	cos-sum
35×	associate-/l/ clear-num frac-2neg
31×	pow-prod-down
30×	diff-log distribute-rgt-neg-in
27×	unpow-prod-down
22×	sin-sum
21×	*-commutative div-sub sum-log
20×	sqrt-div
18×	log-pow log-div
17×	associate-*r/
16×	+-commutative
15×	distribute-lft-neg-in associate-*l/
11×	pow1/2 cbrt-div rem-sqrt-square frac-times sqrt-pow1
10×	neg-sub0 associate-+l-
9×	cos-diff exp-prod
8×	tan-quot
7×	associate--r+ rem-log-exp
6×	pow-unpow pow1/3 cube-prod swap-sqr sin-diff
5×	fma-udef neg-log neg-mul-1
4×	rem-exp-log sqr-pow acos-asin associate--r-
3×	acos-neg distribute-frac-neg frac-add
2×	exp-diff sin-cos-mult associate-+r+ associate--l- pow-prod-up pow2 pow-sqr unpow3 cube-mult pow-plus distribute-rgt-out sin-mult frac-sub pow-pow
1×	rem-cube-cbrt unpow2 hypot-udef tanh-undef asin-acos cos-mult rem-cbrt-cube