Details

rewrite4.9m (23.9%)

Algorithm

152×	rewrite-expression-head

Calls

460 calls:

1.5m	(* (/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0))) (exp (+ (+ (- z 1.0) 7.0) 0.5))) (+ (+ (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (+ (+ (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (/ 676.5203681218851 z) (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) 0.9999999999998099))))))
1.0m	(* (exp (- (- 1.0 7.0) 0.5)) (+ (+ (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (+ (+ (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (/ 676.5203681218851 z) (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) 0.9999999999998099))))))
43.3s	(* (/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0))) (exp z)) (* (exp (- (- 1.0 7.0) 0.5)) (+ (+ (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (+ (+ (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (/ 676.5203681218851 z) (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) 0.9999999999998099)))))))
25.6s	(* (/ (+ (+ (+ (+ (+ 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)
23.1s	(+ (/ -1259.1392167224028 (+ (- z) 2.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -176.6150291621406 (+ 4.0 (- z)))) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (+ (/ 9.984369578019572e-06 (+ (- z) 7.0)) (/ -0.13857109526572012 (+ 6.0 (- z))))))))

Rules

11422×	times-frac
10413×	*-un-lft-identity
8521×	add-sqr-sqrt
6523×	add-cube-cbrt
3601×	sqrt-prod
2803×	frac-add
2425×	add-exp-log
1967×	add-cbrt-cube
1535×	distribute-lft-out
1487×	pow1
1112×	flip-+ flip3-+
1092×	associate-*l*
888×	associate-*r*
887×	prod-exp
829×	associate-/l*
819×	prod-diff
708×	associate-*r/
697×	add-log-exp
673×	frac-times
666×	cbrt-unprod
591×	difference-of-squares
573×	distribute-lft-out--
532×	associate-/r*
507×	div-exp
463×	log1p-expm1-u
461×	expm1-log1p-u
458×	unpow-prod-down
414×	div-inv
406×	pow-prod-down
383×	cbrt-undiv
361×	cbrt-prod
318×	unswap-sqr cube-prod
267×	associate-/r/
257×	exp-diff
221×	log-pow
218×	cbrt-div
209×	associate-*l/
202×	sqrt-div
167×	fma-def
147×	distribute-rgt-in distribute-lft-in
145×	fma-neg
142×	pow1/3
126×	sqr-pow
121×	*-commutative
120×	pow-exp
119×	sum-log
117×	flip-- flip3--
111×	exp-sum
107×	pow-prod-up
101×	frac-2neg clear-num
88×	associate-/l/ pow-to-exp
85×	sqrt-pow1
81×	pow-unpow
73×	log-prod
68×	associate--l+
66×	fma-udef
63×	swap-sqr
58×	pow-plus
57×	pow1/2 pow-sqr
52×	sub-neg
49×	1-exp rec-exp pow-pow
48×	unpow3 cube-mult
39×	diff-log
32×	pow2
26×	associate-+l+
24×	+-commutative
23×	cube-div
22×	rem-cube-cbrt
20×	frac-sub distribute-rgt-neg-in
19×	rem-sqrt-square unpow2
17×	div-sub
14×	associate-+l-
13×	pow-flip
11×	inv-pow hypot-udef associate--r+
10×	exp-prod
7×	un-div-inv pow-sub
6×	sub-div cos-sum
5×	pow3 unpow-prod-up hypot-def rem-log-exp
4×	sqrt-pow2 log1p-udef associate--l- log1p-expm1 expm1-log1p expm1-udef log-div
3×	sqrt-undiv sin-sum associate-+r+
2×	sqrt-unprod rem-square-sqrt rem-cbrt-cube
1×	rem-exp-log distribute-rgt-out-- distribute-rgt-out associate--r- sum-cubes