Details

rewrite9.6s (5.0%)

Algorithm

49×	rewrite-expression-head

Calls

146 calls:

741.0ms	(* (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
595.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
541.0ms	(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
316.0ms	(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
249.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

Rules

1161×	add-sqr-sqrt
1100×	*-un-lft-identity
897×	times-frac
841×	add-cube-cbrt
572×	add-exp-log
460×	add-cbrt-cube
374×	pow1
314×	cbrt-prod
309×	associate-*r*
290×	associate-*l*
247×	add-log-exp
215×	prod-exp
181×	distribute-rgt-neg-in
166×	flip-- flip3--
163×	distribute-lft-neg-in
147×	cbrt-unprod
118×	associate-/r*
115×	pow-prod-down
111×	associate-*r/
81×	frac-times
80×	distribute-lft-out-- sub-neg
79×	associate-/l*
77×	unswap-sqr
75×	distribute-rgt-in distribute-lft-in
72×	difference-of-squares
65×	*-commutative
63×	div-exp
61×	associate-*l/
55×	distribute-lft-out
52×	neg-mul-1
49×	swap-sqr
48×	sqrt-prod
45×	cbrt-undiv
43×	cbrt-div div-inv
40×	flip-+ flip3-+
31×	log-prod
30×	pow1/3 sum-log
28×	diff-log
26×	frac-sub
22×	clear-num frac-2neg
20×	pow-to-exp pow-exp
19×	associate-/l/
18×	sqrt-div
17×	exp-prod
15×	associate-+r+
14×	associate-/r/
13×	unpow-prod-down
11×	log-pow +-commutative
10×	neg-sub0 associate-+l-
9×	associate-+l+ neg-log frac-add
8×	pow1/2 div-sub sqrt-pow1
7×	associate--l+
6×	rem-sqrt-square rem-exp-log tan-quot associate--r+
5×	sqr-pow associate--l- exp-sum
4×	pow-unpow pow-sqr 1-exp rec-exp pow-prod-up log-div
3×	exp-diff distribute-neg-frac
2×	inv-pow distribute-neg-in sub-div pow2 pow-flip pow-plus asin-acos tan-sum cos-sum pow-pow
1×	un-div-inv sqrt-unprod associate-+r- associate--r- exp-neg distribute-frac-neg acos-asin