Details

rewrite3.4m

Algorithm

144×	rewrite-expression-head

Calls

434 calls:

Slowest

1.3m	(* (/ 1 (exp (+ (- (- 1 z) -6) 0.5))) (+ (+ (/ 771.3234287776531 (+ (- 1 z) 2)) (+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))) (+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))))
1.3m	(* (/ 1 (exp (+ (- (- 1 z) -6) 0.5))) (+ (+ (/ 771.3234287776531 (+ (- 1 z) 2)) (+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))) (+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))))
11.5s	(* (/ 1 (exp (+ (- (- 1 z) -6) 0.5))) (+ (+ (/ 771.3234287776531 (+ (- 1 z) 2)) (/ (fma (fma (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (* (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (/ 676.5203681218851 (- 1 z)))) (- 4 z) (* -176.6150291621406 (fma (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (* (- (/ 676.5203681218851 (- 1 z)) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (/ 676.5203681218851 (- 1 z)))))) (* (fma (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))))) (- 4 z)))) (+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))))
8.8s	(* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
2.7s	(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))

Rules

24053×	frac-times
16056×	associate-*r/
13698×	*-un-lft-identity
10521×	times-frac
9433×	associate-*l/
8264×	frac-add
7581×	exp-neg
7477×	flip-+ flip3-+
7105×	add-sqr-sqrt
6505×	exp-diff
6498×	neg-sub0
5661×	add-cube-cbrt
4544×	distribute-lft-out
3240×	add-exp-log
2156×	pow1
2053×	add-cbrt-cube
1406×	prod-exp
1256×	associate-*r*
1234×	prod-diff
1203×	associate-*l*
1190×	sqrt-prod
1089×	un-div-inv
813×	div-exp
785×	cbrt-unprod
683×	cbrt-prod
616×	associate-/l*
591×	add-log-exp
545×	pow-prod-down
460×	pow-prod-up
436×	div-inv
435×	expm1-log1p-u
434×	log1p-expm1-u insert-posit16
413×	cbrt-undiv
392×	associate-/r*
328×	associate-/r/
322×	distribute-rgt-in distribute-lft-in
314×	difference-of-squares
306×	unswap-sqr
260×	flip3-- flip--
240×	distribute-lft-out--
237×	unpow-prod-down
219×	pow-plus
210×	cbrt-div
200×	swap-sqr
196×	log-prod
194×	log-pow
171×	exp-sum
169×	sqrt-pow1
150×	1-exp
144×	fma-def
143×	*-commutative
136×	rec-exp
133×	pow1/2
128×	fma-neg
123×	pow1/3 associate-/l/
120×	pow-sqr
110×	sqr-pow
98×	pow-exp
93×	associate-+l+
76×	frac-2neg pow2 clear-num
64×	sum-log
61×	sub-neg
59×	pow-to-exp
58×	fma-udef
55×	associate-+r+ sqrt-div
44×	cube-prod
37×	exp-prod
34×	+-commutative
32×	pow-div
27×	unpow-prod-up
26×	rem-sqrt-square
25×	diff-log
23×	cube-unmult cube-mult
22×	frac-sub unpow3
21×	pow-flip inv-pow
18×	cube-div distribute-rgt-out
16×	sin-sum
15×	pow-unpow sqrt-unprod rem-log-exp div-sub
14×	distribute-rgt1-in associate--l+
10×	pow-pow log-div
9×	associate-+l-
8×	pow3 hypot-def pow-sub
7×	rem-exp-log
4×	rem-cube-cbrt associate--r+ rem-square-sqrt
3×	hypot-udef rem-cbrt-cube sin-diff
2×	expm1-log1p expm1-udef associate--r-
1×	associate-+r- distribute-lft1-in distribute-rgt-out-- log1p-expm1 associate--l- difference-of-sqr-1 difference-cubes cos-sum unpow1/3 expm1-def log1p-udef