Details

rewrite120.0ms

Algorithm

rewrite-expression-head

Rules

63×	prod-diff
49×	add-sqr-sqrt
47×	*-un-lft-identity
41×	add-cube-cbrt
32×	associate-/r/
31×	flip3-- flip--
20×	frac-times
12×	times-frac
11×	distribute-rgt-in distribute-lft-in
10×	add-exp-log associate-*r/ associate-*l/ add-cbrt-cube
5×	pow1 associate-*r* associate-*l* add-log-exp
4×	div-inv
3×	expm1-log1p-u sub-neg fma-neg log1p-expm1-u associate-/l* distribute-lft-out-- difference-of-squares
2×	cbrt-undiv div-exp prod-exp cbrt-unprod
1×	frac-2neg diff-log pow-prod-down clear-num associate-/r* *-commutative unswap-sqr

Counts

3 → 149

Calls

3 calls:

31.0ms	(- 1.0 (/ x (* (- y z) (- y t))))
56.0ms	(* (- y z) (- y t))
26.0ms	(/ x (* (- y z) (- y t)))