Details

rewrite6.0s (4.2%)

Algorithm

47×	rewrite-expression-head

Calls

150 calls:

173.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)))
167.0ms	(/ (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) (* 2.0 a))
162.0ms	(* (/ (/ a1 (* (cbrt b1) (cbrt b1))) (* (cbrt b2) (cbrt b2))) (/ (/ a2 (cbrt b1)) (cbrt b2)))
161.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
149.0ms	(* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))

Rules

1164×	*-un-lft-identity
1032×	add-exp-log
1023×	times-frac
1010×	add-sqr-sqrt
722×	add-cube-cbrt
425×	add-cbrt-cube
404×	prod-exp
373×	div-exp
299×	cbrt-prod
263×	pow-exp
255×	add-log-exp
235×	pow1
196×	associate-*r*
184×	pow-to-exp
163×	flip--
162×	flip3--
148×	associate-/l*
141×	associate-*l/
128×	cbrt-undiv
126×	distribute-lft-out
110×	associate-/r*
96×	cbrt-unprod
94×	difference-of-squares distribute-lft-out--
88×	sqrt-div
75×	frac-times div-inv
70×	frac-add
65×	sqrt-prod
61×	associate-*l* log-prod
49×	associate-*r/
47×	flip-+
46×	flip3-+
45×	sub-neg
38×	clear-num frac-2neg
35×	associate-/l/
34×	unswap-sqr associate-/r/
30×	diff-log
29×	pow-prod-down
27×	unpow-prod-down
25×	div-sub
24×	sum-log
19×	*-commutative +-commutative
18×	log-div
15×	cos-diff distribute-rgt-neg-in
13×	distribute-rgt-in distribute-lft-in distribute-rgt-out
12×	pow1/2 rem-sqrt-square associate--l+ sqrt-pow1
11×	cbrt-div
10×	neg-sub0 exp-sum associate-+l-
9×	exp-prod cos-sum
8×	associate-+r- log-pow tan-quot
7×	associate--r+ rem-log-exp
6×	pow-unpow pow1/3 cube-prod acos-asin swap-sqr sin-diff
5×	acos-neg sin-sum distribute-frac-neg neg-log
4×	rem-exp-log sqr-pow associate--r-
2×	exp-diff sin-cos-mult associate-+r+ distribute-lft1-in associate--l- pow2 pow-sqr unpow3 cube-mult pow-plus sin-mult pow-prod-up frac-sub pow-pow
1×	rem-cube-cbrt unpow2 tanh-undef asin-acos cos-mult rem-cbrt-cube