Details

rewrite16.3m (58.9%)

Algorithm

158×	rewrite-expression-head

Calls

476 calls:

1.2m	(* (* (/ 1.0 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1.0 (fabs x)) (* (/ 1.0 2.0) (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 3.0 4.0) (* (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 15.0 8.0) (* (* (* (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))))
37.2s	(* (/ (* (cbrt (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))) (cbrt (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))))) 1) (/ (* x (cbrt (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))))) (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3)))))) (* 2.0 0.0001789971)) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2)))))) (* (pow x 2) (+ (* 0.0140005442 (* (* (* x x) x) (* (* x x) x))) (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x))))))))
16.8s	(* (/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
15.7s	(/ (* x (cbrt (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))))) (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3)))))) (* 2.0 0.0001789971)) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2)))))) (* (pow x 2) (+ (* 0.0140005442 (* (* (* x x) x) (* (* x x) x))) (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))))))
9.5s	(/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))

Rules

3588856×	frac-times
2865414×	associate-*l/
1763573×	associate-*r/
1575572×	frac-add
33466×	flip-+ flip3-+
23132×	times-frac
14900×	*-un-lft-identity
11715×	add-sqr-sqrt
10408×	add-cube-cbrt
7200×	sqrt-prod
2464×	pow1
2151×	add-exp-log
2022×	distribute-lft-out
1563×	add-cbrt-cube
1270×	associate-*r*
1237×	log-pow
1132×	associate-/l*
996×	add-log-exp
933×	associate-*l*
862×	prod-exp
691×	cbrt-div
679×	div-inv
674×	associate-/r/
522×	associate-/r*
519×	sqrt-div
478×	cbrt-prod
425×	cbrt-unprod
359×	div-exp
354×	difference-of-squares
334×	pow-prod-down
333×	pow-exp
294×	distribute-lft-out--
279×	cbrt-undiv
277×	unswap-sqr
251×	unpow-prod-down
217×	swap-sqr
210×	flip3-- flip--
203×	pow-to-exp
181×	sum-log
177×	log-prod
158×	diff-log
152×	sqrt-pow1
140×	*-commutative
134×	cube-prod
133×	sqr-pow
123×	pow1/3
102×	frac-sub
100×	pow1/2
99×	associate-/l/
89×	clear-num frac-2neg
87×	sub-neg
82×	exp-prod
79×	distribute-rgt-in distribute-lft-in
69×	rem-sqrt-square pow-prod-up
53×	pow-sqr
48×	associate--l+
39×	pow-unpow 1-exp pow-plus
37×	+-commutative
33×	rec-exp
32×	associate-+r+
29×	pow-pow pow2
27×	pow-flip
25×	unpow3 cube-mult
23×	associate-+l+ inv-pow
22×	distribute-neg-frac
21×	rem-log-exp
16×	cube-div div-sub
15×	log-div
14×	associate--l-
13×	associate--r+
12×	distribute-rgt-neg-in distribute-lft-neg-in exp-sum
11×	distribute-rgt-out
9×	unpow2
8×	rem-cube-cbrt rem-exp-log
7×	un-div-inv rem-cbrt-cube
6×	associate-+l-
5×	exp-diff difference-cubes distribute-neg-in log-rec
4×	neg-log pow3
3×	sin-mult neg-mul-1 associate-+r-
2×	sqrt-pow2 sin-sum distribute-rgt-neg-out exp-to-pow
1×	distribute-neg-out sqrt-undiv sqrt-unprod distribute-lft-neg-out exp-neg sqr-sin unpow-prod-up pow-sub unsub-neg rem-square-sqrt distribute-frac-neg neg-sub0 cos-sum associate--r- mul-1-neg