Details

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

17×	fma-def
15×	add-log-exp
13×	*-un-lft-identity
10×	distribute-lft-out
9×	sum-log
7×	distribute-rgt-out
6×	distribute-lft-neg-in add-sqr-sqrt add-cube-cbrt
5×	associate-+l-
4×	neg-mul-1 distribute-rgt-neg-in neg-log
2×	neg-sub0 flip3-+ frac-add flip-+
1×	expm1-log1p-u pow1 +-commutative associate-+l+ associate-+r- distribute-lft1-in add-cbrt-cube unsub-neg distribute-rgt1-in add-exp-log insert-posit16 log1p-expm1-u div-inv

Counts

1 → 45

Calls

1 calls:

Slowest

29.0ms

(+ (+ (- (* -1/4 (sqrt 3))) (- (* -1/4 (sqrt 3)))) (/ (sqrt 3) 1/2))