Details

rewrite100.0ms

Algorithm

rewrite-expression-head

Rules

55×	add-sqr-sqrt
54×	prod-diff
53×	*-un-lft-identity
51×	add-cube-cbrt
44×	associate-+r+
33×	distribute-rgt-in distribute-lft-in
9×	times-frac
8×	add-exp-log add-cbrt-cube add-log-exp
6×	pow1 sub-neg
5×	associate-*r*
4×	expm1-log1p-u fma-def flip3-+ flip-+ log1p-expm1-u
3×	associate-*l* associate-/r* associate-/l*
2×	+-commutative associate-*r/ sum-log associate-/r/ associate-/l/
1×	cbrt-undiv flip3-- frac-2neg div-exp pow-prod-down prod-exp clear-num *-commutative flip-- cbrt-unprod div-inv distribute-lft-out-- difference-of-squares unswap-sqr

Counts

4 → 153

Calls

4 calls:

25.0ms	(* z (- t a))
18.0ms	(+ y (* z (- b y)))
14.0ms	(+ (* x y) (* z (- t a)))
36.0ms	(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))