Details

rewrite14.5m (25.5%)

Algorithm

162×	rewrite-expression-head

Calls

483 calls:

1.1m	(+ (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (/ 12.507343278686905 (+ (- z) 5.0))) (+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (/ -176.6150291621406 (+ 4.0 (- z)))) (+ (/ 771.3234287776531 (+ 3.0 (- z))) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (+ 2.0 (- z))))))) (/ 9.984369578019572e-06 (+ 7.0 (- z)))))
1.1m	(+ (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (/ 12.507343278686905 (+ (- z) 5.0))) (+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (/ -176.6150291621406 (+ 4.0 (- z)))) (+ (/ 771.3234287776531 (+ 3.0 (- z))) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (+ 2.0 (- z))))))) (/ 9.984369578019572e-06 (+ 7.0 (- z)))))
30.2s	(* (/ (+ (* (* x x) (+ (* (* (* x x) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))) 0.1049934947)) (+ (+ 1.0 (* (* (* x x) (* x x)) 0.0424060604)) (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))))) (+ (* (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* x x))) (+ (* (* (* x x) 0.0001789971) 2.0) 0.0008327945)) (+ (* (* x x) (+ (* (* (* x x) (* x x)) (+ (* (* x x) 0.0140005442) 0.0694555761)) (+ 0.7715471019 (* (* x x) 0.2909738639)))) 1.0))) x)
15.4s	(/ (+ (* (* x x) (+ (* (* (* x x) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))) 0.1049934947)) (+ (+ 1.0 (* (* (* x x) (* x x)) 0.0424060604)) (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))))) (+ (* (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* x x))) (+ (* (* (* x x) 0.0001789971) 2.0) 0.0008327945)) (+ (* (* x x) (+ (* (* (* x x) (* x x)) (+ (* (* x x) 0.0140005442) 0.0694555761)) (+ 0.7715471019 (* (* x x) 0.2909738639)))) 1.0)))
6.0s	(cbrt (* (* (/ (sqrt (* 2.0 PI)) (exp (+ (+ 7.0 (- z)) 0.5))) (/ (sqrt (* 2.0 PI)) (exp (+ (+ 7.0 (- z)) 0.5)))) (/ (sqrt (* 2.0 PI)) (exp (+ (+ 7.0 (- z)) 0.5)))))

Rules

161182×	times-frac
90656×	add-sqr-sqrt
75183×	*-un-lft-identity
73092×	sqrt-prod
52768×	add-cube-cbrt
27096×	frac-times
18368×	difference-of-squares
16845×	associate-*r/
11978×	flip-+ flip3-+
11913×	associate-*l/
9212×	distribute-lft-out--
8630×	associate-/r/
7883×	exp-neg
6924×	frac-add
6767×	exp-diff
6760×	neg-sub0
4716×	div-inv
3520×	add-exp-log
3261×	pow1
2571×	add-cbrt-cube
2148×	cbrt-div
2056×	distribute-lft-out
1640×	prod-exp
1592×	associate-*r*
1146×	un-div-inv
1052×	associate-*l*
1039×	cbrt-unprod
945×	add-log-exp
929×	flip3-- flip--
808×	pow-prod-down
719×	div-exp
717×	pow-prod-up
676×	associate-/l*
644×	sqrt-div
482×	insert-posit16
478×	associate-/r*
425×	swap-sqr
412×	cbrt-undiv
356×	pow-plus
341×	unswap-sqr
275×	sum-log
235×	pow-sqr
211×	log-pow
190×	sqrt-pow1
174×	*-commutative
168×	pow-exp
153×	pow2
146×	pow1/2
136×	cbrt-prod
110×	1-exp
108×	cube-div
105×	rec-exp
100×	rem-sqrt-square
95×	associate-/l/
90×	log-prod
78×	pow-to-exp
76×	frac-2neg clear-num
73×	distribute-rgt-in distribute-lft-in
70×	pow1/3
69×	unpow-prod-down
67×	sub-neg
56×	sqr-pow
48×	+-commutative
45×	diff-log
43×	cube-prod
42×	pow-flip
34×	inv-pow
30×	cube-unmult
27×	pow-unpow
24×	rem-cube-cbrt pow-pow
22×	frac-sub exp-sum
20×	div-sub exp-prod
19×	pow3
16×	associate-+l+ distribute-rgt-out
15×	log-div
14×	distribute-rgt1-in
11×	associate-+r+
10×	associate--l+
9×	associate-+l- rem-log-exp
8×	distribute-rgt-neg-in
7×	distribute-lft-neg-in rem-exp-log
6×	pow-div unpow3 cube-mult rem-cbrt-cube
5×	sqrt-undiv sqrt-unprod
4×	sin-sum associate-+r- neg-log associate--r+ rem-square-sqrt
3×	unsub-neg
2×	difference-cubes neg-mul-1 cos-sum
1×	unpow-prod-up associate--l- distribute-rgt-neg-out exp-to-pow count-2 distribute-neg-in associate--r- pow-sub