Details

rewrite87.0ms

Algorithm

rewrite-expression-head

Rules

92×	add-sqr-sqrt
86×	*-un-lft-identity
82×	add-cube-cbrt
78×	prod-diff
65×	times-frac
8×	add-log-exp
7×	div-inv
6×	add-exp-log fma-neg add-cbrt-cube
4×	pow1 expm1-log1p-u log1p-expm1-u difference-of-squares
3×	associate-/r* associate-/l*
2×	sub-neg flip3-- diff-log flip-- distribute-lft-out--
1×	cbrt-undiv frac-2neg div-exp clear-num fma-udef

Counts

4 → 157

Calls

4 calls:

1.0ms	(fma (- 2.0 (/ 2.0 (fma 1.0 t (/ 1.0 1)))) (- 2.0 (/ 2.0 (fma 1.0 t (/ 1.0 1)))) 2.0)
11.0ms	(/ 1.0 (fma (- 2.0 (/ 2.0 (fma 1.0 t (/ 1.0 1)))) (- 2.0 (/ 2.0 (fma 1.0 t (/ 1.0 1)))) 2.0))
31.0ms	(- 2.0 (/ 2.0 (fma 1.0 t (/ 1.0 1))))
28.0ms	(- 2.0 (/ 2.0 (fma 1.0 t (/ 1.0 1))))