Details

rewrite63.0ms

Algorithm

rewrite-expression-head

Rules

36×	times-frac
35×	*-un-lft-identity
34×	add-sqr-sqrt
33×	add-cube-cbrt
24×	sqrt-prod
22×	fma-def
6×	add-exp-log associate-/r* add-cbrt-cube add-log-exp
5×	pow1
4×	expm1-log1p-u log1p-expm1-u
3×	associate-/l*
2×	div-inv
1×	cbrt-undiv +-commutative rem-sqrt-square frac-2neg sqrt-pow1 flip3-+ pow1/2 div-exp clear-num sum-log flip-+ fma-udef distribute-lft-out

Counts

4 → 102

Calls

4 calls:

1.0ms	(fma (* 4.0 p) p (* x x))
12.0ms	(/ x (sqrt (fma (* 4.0 p) p (* x x))))
42.0ms	(+ (/ x (sqrt (fma (* 4.0 p) p (* x x)))) 1.0)
2.0ms	(sqrt (fma (* 4.0 p) p (* x x)))