Details

rewrite404.0ms

Algorithm

rewrite-expression-head

Rules

515×	times-frac
419×	add-sqr-sqrt
403×	*-un-lft-identity
395×	add-cube-cbrt
339×	prod-diff
171×	distribute-rgt-in distribute-lft-in
57×	div-inv
36×	add-exp-log add-cbrt-cube
30×	associate-*r*
14×	frac-times associate-*l*
13×	prod-exp cbrt-unprod
12×	difference-of-squares
11×	pow1
9×	cbrt-undiv div-exp
8×	associate-*r/ associate-*l/
7×	flip3-- flip--
6×	add-log-exp
5×	distribute-lft-out--
4×	expm1-log1p-u pow-prod-down associate-/r* associate-/r/ frac-sub log1p-expm1-u unswap-sqr
3×	sub-neg associate-/l*
2×	*-commutative
1×	frac-2neg fma-neg diff-log clear-num

Counts

4 → 501

Calls

4 calls:

83.0ms	(* (/ PI 2.0) (/ 1.0 (- (* b b) (* a a))))
14.0ms	(/ 1.0 (- (* b b) (* a a)))
18.0ms	(- (* b b) (* a a))
239.0ms	(* (* (/ PI 2.0) (/ 1.0 (- (* b b) (* a a)))) (- (/ 1.0 a) (/ 1.0 b)))