Details

rewrite429.0ms

Algorithm

rewrite-expression-head

Rules

63×	add-sqr-sqrt
49×	times-frac
45×	add-cube-cbrt *-un-lft-identity
30×	pow-unpow
25×	add-exp-log
21×	associate-*r*
16×	associate-*l* add-cbrt-cube
13×	distribute-lft-neg-in distribute-rgt-neg-in
8×	unpow-prod-down prod-exp unswap-sqr
7×	pow1
5×	div-exp div-inv
4×	pow-neg cbrt-unprod add-log-exp sqr-pow
3×	cbrt-undiv neg-sub0 pow-to-exp associate-*r/ pow-exp associate-/r* associate-/l* pow-sub
2×	tan-quot frac-times associate-/r/ *-commutative
1×	neg-mul-1 pow-pow frac-2neg pow-prod-down associate-*l/ clear-num un-div-inv

Counts

4 → 155

Calls

4 calls:

6.0ms	(/ 1.0 (tan B))
31.0ms	(* x (/ 1.0 (tan B)))
268.0ms	(* (/ F (sin B)) (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (- (/ 1.0 2.0))))
116.0ms	(pow (+ (+ (* F F) 2.0) (* 2.0 x)) (- (/ 1.0 2.0)))