Details

rewrite3.3m (16.9%)

Algorithm

151×	rewrite-expression-head

Calls

465 calls:

1.6m	(* (/ (* (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))))))
25.3s	(+ (/ -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))))))))
24.9s	(* (/ (+ (+ (+ (+ (+ 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)
14.0s	(/ (+ (+ (+ (+ (+ 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)))))
5.3s	(* (- (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (fma -176.6150291621406 (* (* (- (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) z) (fma (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (* 0.9999999999998099 (- 0.9999999999998099 (/ -1259.1392167224028 (+ (- z 1.0) 2.0)))))) (* (+ (- z 1.0) 4.0) (fma (- (* (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (* (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0)))) (* (fma (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (* 0.9999999999998099 (- 0.9999999999998099 (/ -1259.1392167224028 (+ (- z 1.0) 2.0))))) z) (* (- (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (fma 676.5203681218851 (fma (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (* 0.9999999999998099 (- 0.9999999999998099 (/ -1259.1392167224028 (+ (- z 1.0) 2.0))))) (* z (+ (pow (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) 3) (pow 0.9999999999998099 3)))))))))

Rules

15650×	*-un-lft-identity
12488×	times-frac
9174×	add-sqr-sqrt
6944×	add-cube-cbrt
3555×	distribute-lft-out
3030×	prod-diff
1963×	add-exp-log
1737×	sqrt-prod
1600×	associate-*r*
1564×	add-cbrt-cube
1225×	distribute-lft-out--
1204×	pow1
1043×	distribute-rgt-in distribute-lft-in
932×	associate-*l*
906×	frac-add
725×	difference-of-squares
715×	add-log-exp
632×	flip-+ flip3-+
600×	unpow-prod-down
579×	cbrt-prod
572×	prod-exp
568×	associate-/l*
560×	associate-/r/
530×	div-inv
489×	associate-/r*
468×	log1p-expm1-u
467×	expm1-log1p-u
433×	div-exp
417×	cbrt-unprod
313×	cbrt-undiv
295×	cube-prod
290×	pow-prod-down
262×	associate-*r/
256×	unswap-sqr
237×	swap-sqr
211×	frac-times
200×	sqr-pow
190×	fma-def
181×	fma-neg
143×	distribute-rgt-neg-in
135×	exp-sum
126×	*-commutative
124×	sum-log
118×	log-pow
115×	associate-*l/
98×	frac-2neg clear-num
94×	flip3-- flip--
86×	pow1/3
82×	pow-unpow
80×	cbrt-div
78×	associate-/l/ pow-exp
77×	fma-udef
73×	associate--r+
66×	sqrt-div
62×	sqrt-pow1
61×	sub-neg
59×	unpow3 cube-mult
52×	rec-exp 1-exp
49×	associate--l+
47×	pow-to-exp
46×	pow1/2
44×	diff-log
41×	log-prod
29×	pow-prod-up
27×	pow-pow
25×	rem-cube-cbrt rem-sqrt-square
23×	pow-sqr +-commutative
18×	hypot-udef pow-plus
17×	div-sub
14×	exp-diff pow2
12×	cube-div un-div-inv pow-flip associate-+l-
10×	exp-neg neg-sub0
8×	inv-pow frac-sub
7×	associate-+r+
6×	associate-+l+ log1p-udef distribute-lft-neg-in
5×	cos-sum log1p-expm1 pow-sub expm1-log1p expm1-udef rem-log-exp associate--l-
4×	sin-sum unpow-prod-up
3×	exp-prod associate--r-
2×	unpow1/3 distribute-neg-in neg-mul-1
1×	difference-cubes sqrt-pow2 sqrt-unprod pow3 sub-div rem-square-sqrt distribute-rgt-out-- rem-cbrt-cube distribute-rgt-neg-out log-div unpow2