Details

rewrite1.0m (6.7%)

Algorithm

862×	rewrite-expression-head

Calls

2292 calls:

2.6s	(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
1.0s	(- (+ (/ (* b (- (* (+ y t) (+ y t)) (* 2.0 2.0))) (+ (+ y t) 2.0)) x) (* (- t 1.0) a))
814.0ms	(* (pow (/ 1 (pow a 1.0)) 1.0) (/ x (* (exp (+ (* (log (/ 1 z)) y) (+ (* (log (/ 1 a)) t) b))) y)))
762.0ms	(* (/ (/ (sqrt 1.0) 1) (sqrt (fma z z 1.0))) (/ (/ (/ (sqrt 1.0) x) (sqrt (fma z z 1.0))) y))
719.0ms	(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))

Rules

53078×	times-frac
45386×	*-un-lft-identity
44954×	add-sqr-sqrt
33203×	add-cube-cbrt
9618×	add-exp-log
9446×	prod-diff
7351×	add-cbrt-cube
6015×	sqrt-prod
5933×	cbrt-prod
5832×	pow1
5319×	associate-*r*
3975×	difference-of-squares
3957×	distribute-lft-out--
3666×	associate-/r*
3604×	associate-*l*
3042×	add-log-exp
2987×	distribute-rgt-in distribute-lft-in
2911×	div-inv
2499×	div-exp
2430×	prod-exp
2413×	distribute-lft-out
2296×	expm1-log1p-u
2294×	log1p-expm1-u
2248×	associate-/l*
2070×	unpow-prod-down
1900×	cbrt-unprod
1682×	cbrt-undiv
1567×	associate-/r/
1419×	log-prod
1386×	cbrt-div
1359×	flip--
1358×	flip3--
1357×	pow-prod-down
1323×	unswap-sqr
1175×	associate-*r/
1017×	frac-times
843×	pow1/3
807×	associate-*l/
772×	flip-+
771×	flip3-+
763×	swap-sqr
686×	cube-prod
638×	associate-+l+
630×	log-pow
626×	sqrt-pow1
594×	*-commutative
588×	associate--l+
530×	fma-udef
516×	associate-+r+
515×	fma-neg
508×	exp-sum
499×	fma-def
495×	clear-num frac-2neg
471×	sub-neg
410×	associate-/l/
372×	sqrt-div
364×	sqr-pow
346×	frac-sub
335×	1-exp
307×	pow-prod-up
306×	pow1/2
292×	rec-exp
254×	tanh-def
232×	sum-log
229×	pow-sqr
192×	exp-prod
185×	diff-log
167×	pow-exp
134×	+-commutative
131×	pow-unpow
127×	pow-flip
124×	unpow2
123×	div-sub
113×	distribute-rgt-out
109×	pow-plus
107×	log-div
105×	rem-sqrt-square
103×	distribute-lft-neg-in pow-to-exp
100×	pow2
96×	associate--r+
93×	inv-pow
91×	unpow3 cube-mult
86×	distribute-rgt-neg-in
83×	pow-pow
64×	frac-add
57×	un-div-inv
54×	rem-log-exp
37×	distribute-rgt-neg-out sinh-def
30×	neg-mul-1
25×	sqrt-unprod associate-+l- cos-sum
24×	rem-cube-cbrt hypot-def
18×	distribute-lft-neg-out unpow-prod-up cosh-def
17×	distribute-lft1-in
16×	rem-exp-log
15×	rem-square-sqrt
14×	cube-div associate-+r- rem-cbrt-cube
13×	distribute-rgt1-in
12×	hypot-udef unsub-neg
10×	exp-diff unpow1/3 difference-of-sqr-1
9×	sub-div count-2 associate--r- distribute-rgt-out--
8×	associate--l-
7×	difference-cubes expm1-udef
6×	log1p-udef log1p-expm1 expm1-log1p neg-sub0 exp-to-pow tan-quot
5×	sum-cubes
3×	cos-diff diff-cos distribute-frac-neg neg-log
2×	expm1-def pow3 sin-sum log-rec exp-neg distribute-neg-frac mul-1-neg
1×	sqrt-undiv sqrt-pow2 sin-neg cube-unmult pow-sub remove-double-div acos-asin sin-diff