Details

rewrite144.0ms

Algorithm

rewrite-expression-head

Rules

49×	*-un-lft-identity
42×	times-frac
39×	add-sqr-sqrt
33×	add-cube-cbrt
20×	sqrt-prod
13×	fma-def
8×	log-prod distribute-lft-out
7×	add-exp-log associate-/l*
6×	pow1 add-cbrt-cube div-inv add-log-exp
5×	difference-of-squares
4×	expm1-log1p-u sqrt-div log1p-expm1-u
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 → 119

Calls

4 calls:

10.0ms	(sqrt (- 1.0 (* x x)))
13.0ms	(/ (sqrt (- 1.0 (* x x))) x)
63.0ms	(log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
52.0ms	(+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))