Details

rewrite122.0ms

Algorithm

rewrite-expression-head

Rules

32×	add-sqr-sqrt
23×	add-cube-cbrt *-un-lft-identity
18×	pow1
12×	times-frac
10×	add-exp-log add-cbrt-cube
8×	tan-quot
6×	swap-sqr associate-*r* associate-*l* add-log-exp
5×	difference-of-squares
4×	expm1-log1p-u log1p-expm1-u associate-/l*
3×	fma-neg prod-diff associate-/r*
2×	pow2 frac-times flip3-- pow-plus associate-*r/ pow-prod-down associate-*l/ prod-exp associate-/r/ pow-sqr *-commutative pow-prod-up flip-- cbrt-unprod associate-/l/ unswap-sqr
1×	cbrt-undiv sub-neg frac-2neg flip3-+ diff-log div-sub div-exp clear-num flip-+ div-inv

Counts

4 → 119

Calls

4 calls:

11.0ms	(- 1.0 (* (tan x) (tan x)))
20.0ms	(/ (- 1.0 (* (tan x) (tan x))) (+ 1.0 (* (tan x) (tan x))))
28.0ms	(* (tan x) (tan x))
52.0ms	(* (tan x) (tan x))