Details

rewrite73.0ms

Algorithm

rewrite-expression-head

Rules

50×	*-un-lft-identity
32×	add-sqr-sqrt
28×	add-cube-cbrt
18×	prod-diff
15×	times-frac
12×	distribute-lft-out
11×	distribute-rgt-in distribute-lft-in
8×	add-exp-log add-cbrt-cube
6×	pow1
5×	associate-*r* associate-/r*
4×	expm1-log1p-u log1p-expm1-u add-log-exp
3×	associate-*l* associate-/l*
2×	sub-neg associate-*r/ associate-/r/ fma-udef
1×	cbrt-undiv flip3-- frac-2neg flip3-+ div-exp pow-prod-down prod-exp clear-num *-commutative flip-- cbrt-unprod flip-+ div-inv distribute-lft-out-- difference-of-squares unswap-sqr

Counts

4 → 105

Calls

4 calls:

23.0ms	(* y (- z b))
0.0ms	(fma x z (* y (- z b)))
0.0ms	(fma a (+ t y) (fma x z (* y (- z b))))
45.0ms	(/ (fma a (+ t y) (fma x z (* y (- z b)))) (+ (+ x t) y))