Details

rewrite94.0ms

Algorithm

rewrite-expression-head

Rules

36×	*-un-lft-identity times-frac
34×	add-sqr-sqrt add-cube-cbrt
24×	sqrt-prod
12×	associate-/l*
11×	add-log-exp
8×	add-cbrt-cube add-exp-log
6×	associate-/r*
4×	pow1 sum-log insert-posit16
3×	flip3-+ flip-+
2×	cbrt-undiv +-commutative clear-num frac-2neg div-exp frac-add div-inv
1×	associate-+l+ distribute-lft-out

Counts

4 → 109

Calls

4 calls:

9.0ms	(/ (sqrt 3) -4/5)
9.0ms	(/ (sqrt 3) -4/5)
54.0ms	(+ (+ (* 2 (sqrt 3)) (/ (sqrt 3) -4/5)) (/ (sqrt 3) -4/5))
20.0ms	(+ (* 2 (sqrt 3)) (/ (sqrt 3) -4/5))