Details

rewrite36.3s (2.2%)

Algorithm

876×	rewrite-expression-head

Calls

2363 calls:

687.0ms	(* z (+ (- (* (* (cbrt (tanh (/ t y))) (cbrt (tanh (/ t y)))) (cbrt (tanh (/ t y)))) (tanh (/ x y))) (* (tanh (/ x y)) (+ (- 1) 1))))
412.0ms	(* (* (* (* (- (* x 0.5) y) (sqrt z)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0))) (exp (/ (* t t) 2.0)))
360.0ms	(* (* x (* (/ (pow (* (cbrt (/ 1 a)) (cbrt (/ 1 a))) 1.0) (* (cbrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))) (cbrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))))) (/ (pow (cbrt (/ 1 a)) 1.0) (cbrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b))))))) (/ 1 y))
347.0ms	(* (/ (cbrt y) (/ (* (cbrt (- a t)) (cbrt (- a t))) (cbrt y))) (/ (cbrt y) (/ (cbrt (- a t)) (- z t))))
320.0ms	(* x (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))))

Rules

57180×	times-frac
48860×	*-un-lft-identity
45975×	add-sqr-sqrt
34435×	add-cube-cbrt
11124×	add-exp-log
9700×	prod-diff
7934×	add-cbrt-cube
6939×	cbrt-div
6301×	cbrt-prod
5849×	pow1
5716×	sqrt-prod
5527×	frac-times
4828×	associate-*r*
4464×	associate-*r/
4321×	difference-of-squares
4256×	distribute-lft-out--
3503×	associate-/r*
3269×	associate-*l*
3263×	prod-exp
3260×	distribute-lft-out
3204×	associate-*l/
3165×	add-log-exp
3144×	div-inv
2978×	div-exp
2934×	frac-add
2897×	tanh-def
2574×	associate-/l*
2364×	log1p-expm1-u expm1-log1p-u
2338×	distribute-rgt-in distribute-lft-in
2283×	cbrt-unprod
2242×	flip3-- flip--
2230×	frac-sub
2214×	unpow-prod-down
2093×	associate-/r/
2022×	flip-+ flip3-+
1793×	cbrt-undiv
1399×	pow-prod-down
1223×	unswap-sqr
1220×	cube-prod
988×	log-prod
894×	pow1/3
817×	fma-def
652×	swap-sqr
597×	fma-neg
583×	*-commutative
568×	associate-+r+
547×	sqr-pow log-pow
530×	sqrt-div
527×	associate-+l+
508×	sqrt-pow1
497×	clear-num frac-2neg
424×	associate-/l/
422×	sub-neg
381×	1-exp
352×	fma-udef
347×	associate--l+
346×	rec-exp
294×	pow-prod-up
279×	pow1/2
270×	distribute-rgt-neg-in
269×	distribute-lft-neg-in
254×	sum-log
248×	pow-exp
210×	unpow2
208×	pow-sqr
193×	associate--r+
190×	diff-log
173×	pow-to-exp
159×	+-commutative
139×	pow-unpow
116×	unpow3 cube-mult
108×	div-sub
102×	pow-plus
93×	pow2 neg-mul-1
87×	pow-pow
86×	rem-sqrt-square
84×	exp-prod
77×	log-div
75×	pow-flip
73×	un-div-inv
65×	inv-pow distribute-rgt-out
53×	exp-sum
44×	distribute-rgt-neg-out
39×	distribute-rgt-out-- associate-+l-
36×	sinh-def
34×	distribute-neg-frac
32×	rem-log-exp
28×	cos-sum
26×	rem-cube-cbrt
21×	cube-div
20×	distribute-lft-neg-out hypot-udef
18×	sqrt-unprod
17×	difference-cubes
16×	distribute-lft1-in hypot-def
14×	associate-+r- distribute-rgt1-in unsub-neg rem-square-sqrt
13×	cosh-def
10×	associate--l- count-2 rem-cbrt-cube
9×	sqrt-pow2 sub-div
7×	unpow1/3 rem-exp-log
6×	unpow1/2 neg-sub0
4×	cos-diff expm1-log1p associate--r- expm1-udef exp-to-pow
3×	exp-neg diff-cos distribute-frac-neg mul-1-neg
2×	exp-diff log1p-udef log1p-expm1 neg-log tan-quot
1×	sqrt-undiv sin-cos-mult pow3