Details

rewrite931.0ms

Algorithm

rewrite-expression-head

Rules

108×	add-exp-log
58×	prod-exp
52×	add-cbrt-cube
26×	cbrt-unprod
24×	div-exp
21×	add-sqr-sqrt
20×	pow1
19×	*-un-lft-identity
17×	times-frac
16×	associate-*l/
14×	add-cube-cbrt
13×	associate-*l*
11×	associate-*r*
10×	frac-times unpow-prod-down pow-prod-down
8×	tan-quot cbrt-undiv pow-to-exp pow-exp
7×	associate-/l*
6×	associate-*r/
4×	expm1-log1p-u flip3-+ flip-+ log1p-expm1-u add-log-exp unswap-sqr sqr-pow
3×	*-commutative distribute-lft-out
2×	div-inv
1×	distribute-rgt-in frac-2neg distribute-lft-in clear-num associate-/r*

Counts

4 → 152

Calls

4 calls:

43.0ms	(* (/ (pow t 3.0) (* l l)) (sin k))
121.0ms	(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
742.0ms	(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
16.0ms	(/ (pow t 3.0) (* l l))