Details

rewrite63.0ms

Algorithm

rewrite-expression-head

Rules

348×	times-frac
290×	add-sqr-sqrt
206×	*-un-lft-identity add-cube-cbrt
144×	sqrt-prod
56×	swap-sqr
44×	associate-*r* associate-*l*
35×	add-cbrt-cube add-exp-log
28×	associate-/r*
18×	pow1 unswap-sqr
14×	div-inv
12×	cbrt-undiv div-exp
8×	prod-exp cbrt-unprod
6×	associate-/l*
4×	insert-posit16 add-log-exp
2×	pow2 frac-times clear-num frac-2neg pow-plus pow-prod-down associate-*l/ associate-*r/ pow-sqr *-commutative pow-prod-up
1×	associate-/r/

Counts

4 → 359

Calls

4 calls:

Slowest

26.0ms	(* (/ (sqrt 3) 2) (/ (sqrt 3) 2))
19.0ms	(* (/ (sqrt 3) 2) (/ (sqrt 3) 2))
6.0ms	(/ 4 (/ 2 (sqrt 3)))
4.0ms	(/ 2 (sqrt 3))