Details

rewrite18.7s (3.9%)

Algorithm

161×	rewrite-expression-head

Calls

491 calls:

9.3s	(* (/ (/ i (/ (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) i))) (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (/ (/ (sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) 1) (/ (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0)) (/ (sqrt (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (+ (+ alpha beta) (* 2.0 i))))))
835.0ms	(* (/ (/ (* (cbrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (cbrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0))) (cbrt (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0))) (cbrt (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0))) (/ (/ (/ (cbrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0))) (cbrt (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0))))
186.0ms	(* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
185.0ms	(* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
147.0ms	(+ (/ (/ (+ alpha beta) (/ (+ alpha (+ (* 2.0 i) beta)) (- beta alpha))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 1.0)

Rules

48249×	times-frac
28525×	add-sqr-sqrt
27262×	*-un-lft-identity
19357×	add-cube-cbrt
11707×	sqrt-prod
5377×	associate-*r*
3750×	add-exp-log
3634×	difference-of-squares
2508×	add-cbrt-cube
2102×	distribute-lft-out
1909×	distribute-lft-out--
1858×	pow1
1855×	associate-*l*
1681×	prod-exp
1635×	associate-/r/
1598×	cbrt-prod
1380×	div-inv
1194×	flip-+ flip3-+
934×	cbrt-unprod
840×	div-exp
780×	add-log-exp
747×	associate-/l*
694×	associate-/r*
693×	unpow-prod-down
629×	pow-prod-down
615×	unswap-sqr
575×	frac-times
557×	cbrt-undiv
478×	frac-add
477×	pow-exp
474×	associate-*r/
355×	associate-*l/
332×	swap-sqr
285×	sqrt-div
246×	cbrt-div
245×	pow-to-exp
237×	sqr-pow
204×	log-pow
168×	flip3-- flip--
164×	*-commutative
137×	exp-neg
127×	pow1/3
118×	log-prod
115×	cube-div
114×	cube-prod
109×	neg-sub0
108×	exp-diff
104×	sqrt-pow1
98×	associate-/l/
95×	1-exp
89×	diff-log
84×	pow1/2
83×	clear-num frac-2neg
76×	sum-log
71×	sub-neg
68×	rem-sqrt-square
66×	distribute-rgt-in distribute-lft-in
65×	pow-unpow
60×	rec-exp
59×	associate-+l-
54×	pow-prod-up
53×	pow-sub
44×	pow-sqr
42×	pow-plus
40×	distribute-neg-frac
38×	un-div-inv
36×	+-commutative exp-prod
35×	pow-pow
34×	pow2 associate--l+
30×	rem-cube-cbrt
23×	unpow3 cube-mult
21×	distribute-rgt-neg-in distribute-lft-neg-in
16×	rem-log-exp
15×	unpow2
14×	div-sub
13×	associate--l-
12×	associate-+l+
11×	rem-exp-log
10×	inv-pow pow-flip associate-+r+
9×	log-div
8×	neg-log
6×	sin-sum distribute-neg-in associate--r+
5×	neg-mul-1
4×	frac-sub
3×	cos-sum difference-cubes unpow-prod-up exp-sum
2×	pow3 associate-+r- distribute-rgt-neg-out
1×	e-exp-1 sqrt-unprod associate--r- rem-cbrt-cube