Details

rewrite413.0ms

Algorithm

rewrite-expression-head

Rules

340×	times-frac
272×	add-exp-log
153×	unpow-prod-down
144×	add-sqr-sqrt
137×	add-cube-cbrt *-un-lft-identity
128×	div-exp
103×	prod-exp
59×	add-cbrt-cube
58×	associate-*l/
54×	associate-/r/
38×	tan-quot
34×	pow-exp
32×	div-inv
24×	pow-to-exp
21×	cbrt-unprod
19×	cbrt-undiv frac-times associate-*r/
18×	associate-/r*
17×	associate-/l*
15×	sqr-pow
12×	associate-*l*
11×	pow1
6×	associate-*r*
4×	pow-prod-down add-log-exp unswap-sqr
2×	frac-2neg clear-num *-commutative
1×	associate-/l/

Counts

4 → 354

Calls

4 calls:

108.0ms	(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
59.0ms	(* (/ (pow t 3.0) (* l l)) (sin k))
25.0ms	(/ (pow t 3.0) (* l l))
177.0ms	(/ (/ 2.0 (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))) (pow (/ k t) 2.0))