Details

rewrite721.0ms

Algorithm

rewrite-expression-head

Rules

41×	add-sqr-sqrt
40×	*-un-lft-identity
30×	prod-diff
29×	add-cube-cbrt
23×	cos-sum
12×	unpow-prod-down
11×	associate-+r+ times-frac
10×	fma-def
9×	add-log-exp
7×	pow1 add-exp-log
6×	add-cbrt-cube
4×	expm1-log1p-u associate-*r* log1p-expm1-u difference-of-squares
3×	pow-unpow associate-*l* div-inv distribute-lft-out distribute-lft-out--
2×	sub-neg flip3-+ associate-*r/ sum-log flip-+ sqr-pow
1×	+-commutative distribute-rgt-in cos-diff pow-to-exp associate-+r- pow-pow distribute-lft-in diff-log pow-prod-down pow-exp prod-exp *-commutative cbrt-unprod unswap-sqr

Counts

4 → 118

Calls

4 calls:

556.0ms	(+ (pow (- (/ (+ m n) 2.0) M) 2.0) (- l (fabs (- m n))))
23.0ms	(* K (+ m n))
85.0ms	(pow (- (/ (+ m n) 2.0) M) 2.0)
51.0ms	(cos (- (/ (* K (+ m n)) 2.0) M))