Details

rewrite988.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×	flip3-+ flip-+ 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 → 144

Calls

4 calls:

128.0ms	(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
64.0ms	(* (/ (pow t 3.0) (* l l)) (sin k))
777.0ms	(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
12.0ms	(/ (pow t 3.0) (* l l))