Details

rewrite6.5m

Algorithm

152×	rewrite-expression-head

Calls

496 calls:

Slowest

1.1m	(* (/ (+ (+ (+ (+ (+ 1 (* 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.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)))) (+ (+ (+ (+ (+ 1 (* 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.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))) (* (- (+ (+ (+ (+ (+ 1 (* 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.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))) x))
24.9s	(/ (+ (+ (/ 1.5056327351493116e-07 (+ 7 z)) (/ -0.13857109526572012 (- z -5))) (+ (+ (+ (/ 12.507343278686905 (+ z 4)) (+ (/ 771.3234287776531 (+ 2 z)) 0.9999999999998099)) (+ (/ -1259.1392167224028 (+ z 1)) (/ 676.5203681218851 z))) (+ (/ -176.6150291621406 (+ -1 (+ z 4))) (/ 9.984369578019572e-06 (+ 6 z))))) (exp (+ (+ z 0.5) 6)))
23.9s	(/ (/ (+ (+ (/ 1.5056327351493116e-07 (+ 7 z)) (/ -0.13857109526572012 (- z -5))) (+ (+ (+ (/ 12.507343278686905 (+ z 4)) (+ (/ 771.3234287776531 (+ 2 z)) 0.9999999999998099)) (+ (/ -1259.1392167224028 (+ z 1)) (/ 676.5203681218851 z))) (+ (/ -176.6150291621406 (+ -1 (+ z 4))) (/ 9.984369578019572e-06 (+ 6 z))))) (exp (+ z 0.5))) (exp 6))
20.4s	(log (exp (- 1 (/ (/ (+ (/ (+ (/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))))
20.3s	(log (exp (- 1 (/ (/ (+ (/ (+ (/ (+ 1.421413741 (/ (+ (/ 1.061405429 (+ 1 (* (fabs x) 0.3275911))) -1.453152027) (+ 1 (* (fabs x) 0.3275911)))) (+ 1 (* (fabs x) 0.3275911))) -0.284496736) (+ 1 (* (fabs x) 0.3275911))) 0.254829592) (+ 1 (* (fabs x) 0.3275911))) (exp (* (fabs x) (fabs x)))))))

Rules

85388×	*-un-lft-identity
62601×	times-frac
40238×	distribute-lft-out
21614×	add-sqr-sqrt
20393×	sqrt-prod
19732×	add-cube-cbrt
3889×	associate-*l/
3237×	frac-times
3100×	cbrt-div
2906×	flip-+ flip3-+
2809×	associate-/l*
2425×	add-exp-log
2138×	pow1
1898×	add-cbrt-cube
1886×	associate-/r/
1693×	associate-*r*
1372×	flip3-- flip--
1337×	associate-*l*
1107×	associate-*r/
983×	div-inv
965×	prod-exp
915×	add-log-exp
902×	frac-add
692×	frac-sub
583×	cbrt-unprod
526×	difference-of-squares
517×	associate-/r*
496×	insert-posit16
478×	pow-prod-up
429×	distribute-lft-out-- sqrt-div
410×	div-exp
407×	pow-prod-down
376×	cbrt-undiv
362×	cbrt-prod
302×	unswap-sqr
264×	associate-/l/
249×	swap-sqr
244×	pow-plus
234×	log-pow
231×	sqrt-pow1
225×	sum-log
184×	pow-exp
181×	exp-sum
175×	unpow-prod-down
156×	pow1/2
147×	*-commutative
135×	pow1/3
126×	pow-sqr
111×	log-prod
96×	pow-to-exp
92×	exp-prod
90×	frac-2neg pow2 clear-num
83×	sub-neg
76×	distribute-rgt-in distribute-lft-in
75×	rem-sqrt-square
62×	sqr-pow
61×	cube-prod
58×	diff-log
51×	+-commutative
33×	pow-unpow
31×	cube-div
30×	cube-unmult log-div
23×	pow3
20×	div-sub
18×	1-exp
17×	associate--l+
16×	exp-diff rec-exp associate--r+
14×	pow-pow rem-log-exp
11×	associate-+l+
8×	sum-cubes
7×	rem-cube-cbrt
6×	unpow3 cube-mult
5×	associate-+r- associate-+r+ sqrt-unprod distribute-rgt-out distribute-rgt1-in
4×	sin-sum unpow-prod-up rem-square-sqrt associate--r-
3×	pow-flip inv-pow rem-exp-log associate-+l- rem-cbrt-cube
2×	associate--l- pow-div
1×	sqrt-pow2 cos-sum unpow1/3 un-div-inv