Details

rewrite74.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 97

Calls

4 calls:

0.0ms	(fma (tan x) (tan x) 1.0)
6.0ms	(- 1.0 (* (tan x) (tan x)))
24.0ms	(/ (- 1.0 (* (tan x) (tan x))) (fma (tan x) (tan x) 1.0))
39.0ms	(* (tan x) (tan x))