Details

rewrite10.7s

Algorithm

rewrite-expression-head

Rules

98841×	*-un-lft-identity
45731×	distribute-lft-out
39648×	times-frac
39139×	associate-*l*
26853×	add-sqr-sqrt
13506×	swap-sqr
12217×	associate-*r*
7974×	distribute-lft-out--
7376×	add-cube-cbrt
6645×	difference-of-squares
4800×	unswap-sqr
3290×	*-commutative
1384×	associate-/l*
130×	associate-/r/
120×	flip3-+ flip-+
108×	associate-/r*
102×	associate-/l/
80×	frac-times
61×	add-cbrt-cube add-exp-log
58×	associate-*r/
40×	associate-*l/
22×	distribute-rgt-in distribute-lft-in prod-exp cbrt-unprod
19×	cbrt-undiv div-exp
17×	div-inv
16×	pow1 associate-+r+
14×	+-commutative
12×	associate-+l+
4×	pow-prod-down insert-posit16 add-log-exp
3×	clear-num frac-2neg
1×	pow2 pow-plus flip3-- pow-sqr pow-prod-up flip--

Calls

4 calls:

Slowest

4.1s	(/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
2.6s	(/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))))
831.0ms	(* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
144.0ms	(* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))