Details

rewrite1.3s

Algorithm

rewrite-expression-head

Rules

5865×	times-frac
5644×	add-sqr-sqrt
5024×	unpow-prod-down
3467×	*-un-lft-identity
2552×	associate-*l*
1740×	associate-*r* unswap-sqr
1457×	add-cube-cbrt
1192×	add-exp-log
1162×	sqr-pow
702×	difference-of-squares
692×	pow-exp
684×	prod-exp
593×	div-exp
363×	distribute-lft-out
344×	pow-to-exp
242×	associate-/r/
239×	div-inv
234×	distribute-lft-out--
121×	flip3-+ flip-+
116×	rec-exp 1-exp *-commutative
57×	associate-/r* associate-/l*
54×	prod-diff
16×	add-cbrt-cube
8×	pow1
6×	pow-unpow pow-pow add-log-exp
4×	expm1-log1p-u cbrt-undiv cbrt-unprod insert-posit16 log1p-expm1-u
3×	fma-neg
2×	pow-flip inv-pow
1×	clear-num sub-neg frac-2neg flip3-- diff-log flip--

Calls

4 calls:

Slowest

1.1s	(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)))
34.0ms	(- 1 (/ 1 (+ 1 (exp (- t)))))
21.0ms	(pow (/ 1 (+ 1 (exp (- t)))) c_p)
17.0ms	(pow (/ 1 (+ 1 (exp (- s)))) c_p)