Details

rewrite268.0ms

Algorithm

rewrite-expression-head

Rules

55×	add-sqr-sqrt
47×	times-frac
39×	*-un-lft-identity
36×	add-exp-log add-cbrt-cube
31×	add-cube-cbrt
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×	div-inv distribute-lft-out--
4×	pow-prod-down associate-/r* associate-/r/ frac-sub unswap-sqr
3×	sub-neg associate-/l*
2×	distribute-rgt-in distribute-lft-in *-commutative
1×	frac-2neg diff-log clear-num

Counts

4 → 153

Calls

4 calls:

61.0ms	(* (/ PI 2.0) (/ 1.0 (- (* b b) (* a a))))
27.0ms	(/ 1.0 (- (* b b) (* a a)))
16.0ms	(- (* b b) (* a a))
158.0ms	(* (* (/ PI 2.0) (/ 1.0 (- (* b b) (* a a)))) (- (/ 1.0 a) (/ 1.0 b)))