Details

rewrite11.2m (28.5%)

Algorithm

166×	rewrite-expression-head

Calls

522 calls:

2.0m	(* (/ (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (+ (+ (- z 1.0) 7.0) 0.5))) (+ (+ (+ (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 676.5203681218851 (- z 0)) 0.9999999999998099)) (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))
1.3m	(* (* (/ (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (exp (+ z 6.5))) (sqrt PI)) (+ (+ (+ (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 676.5203681218851 (- z 0)) 0.9999999999998099)) (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))
1.2m	(* (sqrt PI) (+ (+ (+ (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 676.5203681218851 z) 0.9999999999998099)) (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))
1.2m	(* (sqrt PI) (+ (+ (+ (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 676.5203681218851 z) 0.9999999999998099)) (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))
57.5s	(* (/ (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (exp (+ z 6.5))) (* (sqrt PI) (+ (+ (+ (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 676.5203681218851 z) 0.9999999999998099)) (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))))

Rules

68462×	times-frac
40694×	*-un-lft-identity
33038×	add-sqr-sqrt
27316×	add-cube-cbrt
14578×	sqrt-prod
6745×	frac-add
6029×	distribute-lft-out
3845×	flip-+ flip3-+
3151×	pow1
3100×	add-exp-log
2865×	associate-*r/
2766×	associate-*r*
2407×	add-cbrt-cube
2340×	cbrt-prod
2263×	div-inv
2189×	difference-of-squares
2082×	associate-/r/
1990×	frac-times
1962×	associate-/l*
1379×	associate-/r*
1172×	distribute-lft-out--
1139×	prod-exp
1129×	flip3-- flip--
1112×	pow-prod-up
996×	associate-*l*
880×	add-log-exp
823×	frac-sub
816×	associate-*l/
814×	cbrt-unprod
803×	div-exp
624×	pow-prod-down
490×	cbrt-undiv
467×	unswap-sqr
461×	pow-plus
442×	sqrt-div
382×	unpow-prod-down
288×	cbrt-div
279×	sqrt-pow1
260×	log-pow
204×	cube-prod
185×	pow1/2
173×	swap-sqr
170×	associate-/l/
160×	pow-sqr
157×	sum-log
154×	*-commutative
135×	distribute-rgt-neg-in distribute-lft-neg-in
131×	pow2
130×	sqr-pow
122×	pow-exp
104×	frac-2neg clear-num
103×	pow-to-exp pow1/3
102×	1-exp
100×	distribute-rgt-in distribute-lft-in
82×	rem-sqrt-square
78×	rec-exp log-prod
77×	exp-prod
67×	sub-neg
64×	pow-pow
62×	pow-unpow
60×	diff-log
54×	+-commutative
51×	cube-unmult
41×	un-div-inv
36×	unpow3 associate-+r+ cube-mult neg-mul-1
34×	associate--l+
31×	unpow2
26×	exp-sum
25×	associate-+l+
24×	div-sub
19×	rem-cube-cbrt
15×	cube-div
14×	exp-diff
10×	rem-exp-log inv-pow pow-flip associate-+l-
9×	neg-sub0
8×	distribute-rgt-out associate--r+ log-div
7×	exp-neg
6×	distribute-neg-frac
5×	sum-cubes sqrt-unprod rem-square-sqrt rem-log-exp
4×	distribute-rgt1-in distribute-neg-in difference-of-sqr-1
3×	sqrt-undiv sin-sum pow-sub distribute-rgt-neg-out exp-to-pow associate--l-
2×	associate-+r- distribute-frac-neg associate--r- rem-cbrt-cube
1×	cos-sum distribute-lft1-in pow3 distribute-lft-neg-out unpow-prod-up