Details

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

34×	add-sqr-sqrt
31×	*-un-lft-identity
29×	add-cube-cbrt
28×	times-frac
14×	associate-*r*
13×	add-exp-log add-cbrt-cube
8×	add-log-exp
6×	pow1 fma-def associate-/r* associate-/l*
4×	expm1-log1p-u log1p-expm1-u
3×	cbrt-undiv div-exp associate-*l* div-inv
2×	tan-quot frac-2neg associate-*r/ prod-exp clear-num sum-log associate-/r/ cbrt-unprod unswap-sqr
1×	+-commutative neg-sub0 distribute-lft-neg-in associate-+l- neg-mul-1 distribute-rgt-neg-in flip3-+ pow-prod-down neg-log frac-add *-commutative flip-+ distribute-neg-frac distribute-lft-out

Counts

4 → 117

Calls

4 calls:

9.0ms	(+ (- (* x (/ 1.0 (tan B)))) (/ 1.0 (sin B)))
2.0ms	(/ 1.0 (sin B))
2.0ms	(/ 1.0 (tan B))
9.0ms	(* x (/ 1.0 (tan B)))