Details

rewrite5.5m (3.4%)

Algorithm

866×	rewrite-expression-head

Calls

2301 calls:

2.8m	(* (/ 1 (sqrt (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y))))))) (/ (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y))))) (sqrt (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y))))))))
2.7s	(- (+ (/ x y) (+ (/ 2.0 t) (/ (/ 2.0 t) z))) 2.0)
2.6s	(/ (- (* (* (tanh (/ t y)) (tanh (/ t y))) (tanh (/ t y))) (* (tanh (/ x y)) (* (tanh (/ x y)) (tanh (/ x y))))) (sqrt (+ (* (tanh (/ t y)) (tanh (/ t y))) (+ (* (tanh (/ x y)) (tanh (/ x y))) (* (tanh (/ t y)) (tanh (/ x y)))))))
2.0s	(/ (+ x (- (/ y (- t (/ x z))) (/ x (- (* t z) x)))) (+ x 1.0))
1.8s	(/ (+ x (- (/ y (/ (- (* t z) x) z)) (/ x (- (* t z) x)))) (+ x 1.0))

Rules

65430×	times-frac
58071×	frac-times
53033×	*-un-lft-identity
50838×	add-sqr-sqrt
44616×	tanh-def
40782×	frac-add
37771×	add-cube-cbrt
18717×	associate-*l/
18666×	associate-*r/
17478×	sqrt-div
16171×	associate-/r/
11276×	prod-diff
9910×	add-exp-log
9109×	associate-*r*
8345×	associate-/l/
8175×	add-cbrt-cube
8008×	frac-sub
7551×	cbrt-prod
7548×	sqrt-prod
7435×	associate-*l*
6854×	pow1
4733×	distribute-lft-out--
4719×	difference-of-squares
3703×	associate-/r*
3467×	div-inv
3054×	add-log-exp
2944×	distribute-lft-out
2764×	prod-exp
2504×	distribute-rgt-in distribute-lft-in
2495×	associate-/l*
2416×	cbrt-unprod
2304×	expm1-log1p-u log1p-expm1-u
2301×	insert-posit16
2300×	div-exp
2041×	pow-prod-down
1900×	flip3-- flip--
1731×	cbrt-undiv
1524×	cbrt-div
1219×	unswap-sqr
1177×	fma-def
1011×	log-prod
968×	flip-+ flip3-+
880×	swap-sqr
799×	pow1/3
751×	fma-neg
730×	associate-+r+
672×	sqrt-pow1
602×	*-commutative
581×	pow-prod-up
513×	frac-2neg clear-num
366×	pow1/2
336×	sub-neg
311×	fma-udef
278×	pow-sqr
270×	log-pow
267×	1-exp
251×	rec-exp
240×	associate-+l+
224×	exp-sum
218×	diff-log
196×	sum-log
189×	pow-plus
176×	associate--l+
158×	distribute-rgt-neg-in
122×	pow2
121×	unpow-prod-up
114×	div-sub
111×	+-commutative
102×	distribute-lft-neg-in exp-prod
96×	rem-sqrt-square
73×	pow-flip
67×	unpow-prod-down
62×	associate--r+
58×	rem-log-exp
52×	inv-pow
49×	un-div-inv
47×	log-div
40×	pow3 rem-exp-log
39×	distribute-rgt-out--
35×	neg-mul-1
32×	hypot-def
31×	cube-unmult sqrt-unprod pow-unpow
29×	distribute-rgt-out
28×	sub-div
26×	exp-diff cos-sum
25×	sinh-def
24×	distribute-lft-neg-out
23×	sqr-pow
22×	difference-cubes
20×	cosh-def
19×	associate-+l-
15×	associate-+r- pow-pow
14×	pow-exp
13×	unsub-neg
12×	pow-to-exp rem-square-sqrt
11×	neg-sub0 distribute-rgt-neg-out associate--r-
10×	expm1-log1p expm1-udef
9×	diff-cos
8×	tan-quot
7×	distribute-rgt1-in count-2
6×	distribute-lft1-in log1p-expm1 associate--l- pow-div rem-cbrt-cube log1p-udef
5×	cos-diff
4×	distribute-frac-neg pow-sub
3×	sin-mult
2×	sqrt-undiv neg-log sqr-sin exp-to-pow cos-neg exp-neg unpow1/3 sin-diff e-exp-1 sin-neg
1×	sin-sum hypot-udef sqr-neg remove-posit16 acos-asin