Details

rewrite835.0ms

Algorithm

rewrite-expression-head

Rules

3220×	times-frac
2537×	frac-times
2076×	frac-add
1950×	*-un-lft-identity
1837×	associate-*r/
1810×	add-sqr-sqrt
1518×	frac-sub
1438×	add-cube-cbrt
1418×	associate-*l/
1270×	distribute-neg-frac
1160×	flip3-+ flip-+
932×	associate-+l+
926×	prod-diff
884×	distribute-rgt-neg-in
864×	distribute-lft-neg-in
788×	sqrt-prod
536×	distribute-rgt-out
467×	distribute-rgt-in distribute-lft-in
462×	sub-div
364×	distribute-lft-out
330×	un-div-inv
308×	flip3-- flip--
72×	div-inv
56×	swap-sqr
44×	associate-*r* associate-*l*
28×	add-cbrt-cube add-exp-log
24×	neg-mul-1
18×	pow1 unswap-sqr
10×	distribute-lft1-in distribute-rgt1-in
8×	cbrt-undiv div-exp prod-exp cbrt-unprod
6×	add-log-exp
4×	expm1-log1p-u insert-posit16 log1p-expm1-u
2×	distribute-lft-neg-out pow2 associate-+r+ sub-neg pow-plus pow-prod-down associate--l+ pow-sqr *-commutative pow-prod-up distribute-neg-out
1×	+-commutative sum-log fma-def unsub-neg fma-udef

Counts

4 → 2619

Calls

4 calls:

Slowest

530.0ms	(+ (* (- (* (/ 1 2) (/ 1 2)) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (- (+ (- (/ (/ (sqrt 3) 2) 2)) (- (/ (/ (sqrt 3) 2) 2))) (* 2 (/ (sqrt 3) 2)))) (* (+ (- (/ (/ (sqrt 3) 2) 2)) (- (/ (/ (sqrt 3) 2) 2))) (+ 1 (- (* (/ 1 2) (/ 1 2)) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))))))
26.0ms	(* (/ (sqrt 3) 2) (/ (sqrt 3) 2))
15.0ms	(* (/ (sqrt 3) 2) (/ (sqrt 3) 2))
1.0ms	(fma (/ (sqrt 3) 2) 4 (* (+ (- (/ (/ (sqrt 3) 2) 2)) (- (/ (/ (sqrt 3) 2) 2))) 5))