Details

rewrite150.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 98

Calls

4 calls:

5.0ms	(sqrt (- 1.0 (* x x)))
14.0ms	(/ (sqrt (- 1.0 (* x x))) x)
54.0ms	(log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
74.0ms	(+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))