Details

rewrite21.5m (61.6%)

Algorithm

157×	rewrite-expression-head

Calls

478 calls:

58.6s	(/ (sqrt (/ (/ 1 1) (/ (+ (+ alpha beta) (* 2.0 1.0)) (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0)))))) (/ (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0) (sqrt (/ (/ 1 1) (/ (+ (+ alpha beta) (* 2.0 1.0)) (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))))))))
42.5s	(* (/ 1 (/ (sqrt (+ (pow (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) 3) (pow (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442))) 3))) (sqrt (+ (* (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0))) (- (* (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442))) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (* (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442))))))))) (/ x (/ (sqrt (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442))))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))))
8.8s	(* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
3.6s	(/ (sqrt (+ (pow (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) 3) (pow (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442))) 3))) (sqrt (+ (* (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0))) (- (* (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442))) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (* (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442))))))))
3.0s	(* (/ 1 (sqrt (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))))) (/ x (/ (sqrt (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442))))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))))

Rules

142079×	associate-*r/
105697×	flip-+ flip3-+
88324×	frac-add
58336×	frac-times
47776×	times-frac
33095×	associate-/r/
32323×	sqrt-div
30900×	frac-sub
24786×	associate-*l*
22940×	*-un-lft-identity
21653×	associate-*l/
19754×	add-sqr-sqrt
18456×	add-cube-cbrt
3828×	add-exp-log
2039×	distribute-lft-out
2027×	add-cbrt-cube
1717×	prod-exp
1528×	pow1
1378×	sqrt-prod
1278×	associate-/l*
1216×	associate-*r*
1095×	div-exp
960×	div-inv
803×	add-log-exp
772×	sub-div
681×	cbrt-unprod
486×	associate-/r*
476×	pow-exp
422×	cbrt-prod
418×	pow-prod-down
394×	flip3-- flip--
390×	cbrt-undiv
333×	unpow-prod-down pow-to-exp
288×	difference-of-squares
265×	unswap-sqr
260×	log-prod
237×	distribute-lft-out--
208×	cbrt-div
200×	log-pow
182×	associate-/l/
146×	1-exp
136×	sqr-pow
133×	cube-prod
128×	*-commutative
127×	swap-sqr
125×	distribute-rgt-in distribute-lft-in
115×	sqrt-pow1
107×	diff-log
93×	sub-neg
88×	pow1/3
86×	sum-log
85×	frac-2neg clear-num
83×	pow-unpow
79×	pow1/2
70×	cube-div
62×	rem-sqrt-square
56×	associate-+r+
55×	associate-+l+
54×	associate--l+
50×	pow-prod-up
48×	exp-prod
44×	+-commutative rec-exp
38×	pow-sqr
36×	exp-diff
34×	log-div
33×	pow-plus pow-pow
30×	exp-sum
28×	exp-neg
26×	sum-cubes
24×	unpow3 cube-mult neg-sub0
22×	rem-cube-cbrt pow2
20×	rem-log-exp
17×	associate--l- associate--r+
16×	unpow2
15×	div-sub
13×	pow-flip inv-pow
11×	rem-exp-log
10×	un-div-inv distribute-rgt-out
9×	sin-sum
7×	distribute-rgt-neg-in distribute-lft-neg-in log-rec
4×	distribute-lft-neg-out distribute-neg-in distribute-neg-frac
3×	cos-sum associate-+r- unpow-prod-up rem-cbrt-cube associate-+l- neg-mul-1
2×	distribute-neg-out pow3 pow-sub unsub-neg distribute-rgt-neg-out exp-to-pow
1×	difference-cubes sqrt-undiv distribute-rgt-out-- distribute-frac-neg associate--r-