rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

30×	*-un-lft-identity
28×	add-sqr-sqrt
27×	times-frac
22×	add-cube-cbrt
20×	sqrt-prod
7×	associate-/l*
5×	add-exp-log add-cbrt-cube add-log-exp difference-of-squares
4×	pow1 sqrt-div distribute-lft-out
3×	associate-/r* div-inv
2×	flip3-- flip-- associate-/l/
1×	cbrt-undiv +-commutative rem-sqrt-square distribute-rgt-out frac-2neg sqrt-pow1 flip3-+ pow1/2 div-exp frac-add clear-num sum-log flip-+

Counts

3 → 78

Calls

3 calls:

3.0ms	(sqrt (- 1.0 (* x x)))
5.0ms	(/ (sqrt (- 1.0 (* x x))) x)
17.0ms	(+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))