Details

rewrite21.6s (3.6%)

Algorithm

102×	rewrite-expression-head

Calls

340 calls:

1.1s	(* (- (/ y (- (+ t 1.0) z)) (/ z (- (+ t 1.0) z))) (- a x))
1.0s	(exp (+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin y) (tan z)) (cos y)))) (tan a))))
911.0ms	(/ (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)
673.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) (cbrt (+ (* (+ (* (+ y a) y) b) y) c))) (* (cbrt (+ (* (+ (* (+ y a) y) b) y) c)) y)) i))
521.0ms	(exp (+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))))

Rules

4114×	times-frac
3804×	*-un-lft-identity
3447×	add-sqr-sqrt
2553×	add-cube-cbrt
1440×	add-exp-log
1242×	add-cbrt-cube
1031×	pow1
837×	cbrt-prod
578×	add-log-exp
557×	associate-*r*
463×	prod-exp
457×	associate-*l*
421×	cbrt-unprod
349×	cbrt-div
340×	insert-posit16
336×	pow-prod-down
334×	associate-/r*
332×	distribute-lft-out--
318×	flip3-- flip--
315×	distribute-lft-out
296×	distribute-rgt-neg-in
288×	frac-times
278×	distribute-lft-neg-in
272×	difference-of-squares
269×	associate-/l*
268×	div-exp
261×	associate-*r/
250×	div-inv
239×	associate-/r/
203×	exp-prod
202×	cbrt-undiv
181×	associate-*l/
178×	frac-sub sqrt-prod
143×	flip-+ flip3-+
138×	unswap-sqr
134×	sub-neg
111×	*-commutative
107×	distribute-rgt-in distribute-lft-in
106×	log-pow
98×	sqrt-div
86×	neg-mul-1
82×	sin-mult
70×	diff-log
68×	pow1/3
66×	frac-2neg clear-num
63×	sum-log
60×	swap-sqr
54×	associate-/l/
52×	log-prod
48×	sqrt-pow1
42×	rem-exp-log
38×	associate-+r+
37×	exp-sum 1-exp
34×	cos-mult pow1/2
33×	rec-exp
30×	pow-prod-up
29×	exp-diff rem-sqrt-square
26×	associate--l+ +-commutative
24×	associate--r+ pow-sqr
23×	associate-+l+
20×	tan-quot associate-+l-
18×	neg-sub0
17×	sub-div div-sub
15×	pow-plus
13×	pow-flip
12×	neg-log unpow-prod-down log-div
10×	pow-unpow
9×	inv-pow frac-add
7×	pow2 associate--l- un-div-inv
6×	associate-+r- distribute-rgt-out-- distribute-frac-neg
5×	pow-exp cos-2
4×	sqr-pow pow-pow pow-to-exp distribute-neg-frac
3×	unpow-prod-up cube-unmult exp-neg rem-cbrt-cube
2×	remove-posit16 distribute-rgt-neg-out difference-of-sqr-1 tan-sum cos-sum e-exp-1
1×	pow3 log-rec sqrt-unprod unpow2 rem-log-exp pow-sub