Details

rewrite404.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×	expm1-log1p-u pow-neg cbrt-unprod log1p-expm1-u 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 → 163

Calls

4 calls:

12.0ms	(/ 1.0 (tan B))
40.0ms	(* x (/ 1.0 (tan B)))
279.0ms	(* (/ F (sin B)) (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (- (/ 1.0 2.0))))
59.0ms	(pow (+ (+ (* F F) 2.0) (* 2.0 x)) (- (/ 1.0 2.0)))