Details

rewrite10.9m (70.0%)

Algorithm

158×	rewrite-expression-head

Calls

481 calls:

8.8s	(* (/ 1.0 21.0) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
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 (exp (log (/ (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)))))))))
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)))))))
1.8s	(/ (/ 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)))))) (* (cbrt (/ (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)))))) (cbrt (/ (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))))))))
1.5s	(/ (+ (+ (* (* 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

8356×	times-frac
7546×	*-un-lft-identity
6072×	add-sqr-sqrt
5623×	add-exp-log
4809×	add-cube-cbrt
2847×	prod-exp
2058×	add-cbrt-cube
1993×	sqrt-prod
1930×	div-exp
1750×	associate-*r*
1553×	pow1
1266×	distribute-lft-out
1208×	flip-+ flip3-+
1004×	associate-*r/
915×	pow-exp
846×	associate-/r/
828×	associate-*l*
783×	add-log-exp
780×	frac-add
765×	pow-to-exp
721×	cbrt-unprod
631×	associate-/l*
495×	frac-times
461×	sqrt-div
448×	cbrt-prod
432×	pow-prod-down
421×	associate-/r*
419×	log-prod
401×	unpow-prod-down
363×	cbrt-undiv
356×	div-inv
328×	associate-*l/
287×	difference-of-squares
259×	unswap-sqr
250×	cube-prod
244×	1-exp
235×	distribute-lft-out--
212×	cbrt-div
201×	log-pow
200×	flip3-- flip--
173×	associate-/l/
158×	sqr-pow
153×	exp-sum
132×	*-commutative
125×	distribute-rgt-in distribute-lft-in
123×	swap-sqr
117×	sqrt-pow1
97×	diff-log
91×	sub-neg
87×	frac-2neg clear-num
81×	pow1/2 pow1/3
74×	pow-unpow sum-log
67×	rem-sqrt-square
64×	unpow3 cube-mult
63×	associate-+r+
55×	associate-+l+
49×	associate--l+
48×	pow-prod-up +-commutative exp-prod
39×	cube-div
36×	pow-sqr log-div
34×	rec-exp
32×	pow-plus
30×	pow-pow
24×	rem-cube-cbrt
22×	rem-log-exp
21×	pow2
20×	un-div-inv
17×	associate--l-
16×	unpow2
15×	div-sub
13×	exp-diff inv-pow pow-flip
11×	rem-exp-log
10×	distribute-rgt-out frac-sub associate--r+
9×	sin-sum
8×	distribute-rgt-neg-in distribute-lft-neg-in distribute-neg-in
7×	log-rec
6×	distribute-neg-frac
4×	distribute-lft-neg-out neg-mul-1
3×	cos-sum associate-+r- unpow-prod-up rem-cbrt-cube distribute-rgt-neg-out associate-+l-
2×	distribute-neg-out pow3 pow-sub unsub-neg exp-to-pow
1×	difference-cubes distribute-frac-neg associate--r- sum-cubes