Details

rewrite4.6m (12.5%)

Algorithm

166×	rewrite-expression-head

Calls

520 calls:

3.7m	(* (sqrt (* PI 2)) (+ (+ (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (+ z 7))) (+ (/ 12.507343278686905 (+ 4 z)) (+ (+ (+ (+ (/ -176.6150291621406 (+ z 3)) 0.9999999999998099) (/ -1259.1392167224028 (+ 1 z))) (/ 771.3234287776531 (+ 2 z))) (/ 676.5203681218851 z)))) (/ -0.13857109526572012 (- z -5))))
4.7s	(cbrt (* (* (* (exp re) (cos im)) (* (* (exp re) (cos im)) (* (exp re) (cos im)))) (* (* (* (exp re) (cos im)) (* (* (exp re) (cos im)) (* (exp re) (cos im)))) (* (* (exp re) (cos im)) (* (* (exp re) (cos im)) (* (exp re) (cos im)))))))
2.8s	(* (/ (+ (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971)))))) (+ (+ (* (* (* x x) (* x x)) (+ 0.2909738639 (* (* (* x x) (* x x)) (+ (* (* (* x x) (* x x)) (* 2 0.0001789971)) (* 0.0008327945 (* x x)))))) 1) (* (* x x) (+ 0.7715471019 (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))))) x)
2.2s	(/ (* (- (* (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1) (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1)) (* (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))))) x) (* (- (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971)))))) (+ (+ (* (* x x) (+ 0.7715471019 (* (+ (* 0.0140005442 (* x x)) 0.0694555761) (* (* x x) (* x x))))) 1) (* (* (* x x) (* x x)) (+ 0.2909738639 (* (+ (* (* 0.0001789971 2) (* (* x x) (* x x))) (* 0.0008327945 (* x x))) (* (* x x) (* x x))))))))
2.1s	(* (+ (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971)))))) (/ x (+ (+ (* (* x x) (+ 0.7715471019 (* (+ (* 0.0140005442 (* x x)) 0.0694555761) (* (* x x) (* x x))))) 1) (* (* (* x x) (* x x)) (+ 0.2909738639 (* (+ (* (* 0.0001789971 2) (* (* x x) (* x x))) (* 0.0008327945 (* x x))) (* (* x x) (* x x))))))))

Rules

31834×	*-un-lft-identity
24223×	frac-times
24184×	times-frac
16348×	associate-*r/
13558×	distribute-lft-out
11031×	add-sqr-sqrt
9676×	associate-*l/
8803×	add-cube-cbrt
7754×	flip-+ flip3-+
7581×	exp-neg
6752×	frac-add
6504×	exp-diff
6498×	neg-sub0
3838×	add-exp-log
3637×	pow1
2378×	add-cbrt-cube
1788×	associate-*r*
1675×	prod-exp
1477×	associate-/r*
1353×	sqrt-prod
1091×	un-div-inv
964×	div-exp
900×	cbrt-unprod
897×	associate-/r/
886×	associate-*l*
857×	pow-prod-down
828×	pow-prod-up
821×	difference-of-squares
784×	add-log-exp
683×	associate-/l*
626×	unpow-prod-down
538×	div-inv
520×	insert-posit16
498×	log-pow
495×	distribute-lft-out--
426×	cube-prod
424×	cbrt-div
410×	pow-plus
394×	sqr-pow
375×	cbrt-undiv
334×	cbrt-prod
286×	unswap-sqr
252×	sqrt-div
236×	pow-sqr
231×	pow-exp
216×	flip3-- flip--
192×	sqrt-pow1
182×	frac-sub
174×	associate-/l/
173×	pow1/2
167×	*-commutative
166×	pow2
151×	swap-sqr
144×	pow1/3
124×	1-exp
123×	pow-to-exp
121×	rec-exp
101×	frac-2neg clear-num
93×	sub-neg
75×	diff-log
72×	sum-log
66×	distribute-rgt-in distribute-lft-in
64×	log-prod
63×	rem-sqrt-square
57×	unpow-prod-up
50×	exp-sum
46×	+-commutative
42×	cube-unmult
36×	associate--l+
27×	pow3
24×	pow-flip
22×	pow-unpow exp-prod
20×	associate--r+
18×	cube-div
17×	div-sub associate--r- log-div
15×	inv-pow
11×	associate-+l+
10×	difference-of-sqr-1 associate--l-
9×	pow-pow rem-log-exp cube-mult
8×	sin-sum distribute-rgt-out
7×	associate-+l-
6×	remove-posit16 rem-cbrt-cube distribute-rgt1-in
5×	sqrt-undiv sum-cubes pow-sub
4×	rem-cube-cbrt
3×	associate-+r+ rem-exp-log
2×	sqrt-unprod difference-cubes distribute-rgt-out-- cos-sum
1×	associate-+r- unpow3 rem-square-sqrt