Details

rewrite16.7s (7.9%)

Algorithm

106×	rewrite-expression-head

Calls

363 calls:

1.3s	(* (/ (/ (pow (/ 1 (sqrt a)) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) y) (* (/ (pow (/ 1 (sqrt a)) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) x))
1.1s	(/ (* 2.0 c) (- (* 2.0 (* (* (/ a (* (cbrt b) (cbrt b))) (/ (* (cbrt c) (cbrt c)) (* (cbrt (cbrt b)) (cbrt (cbrt b))))) (/ (cbrt c) (cbrt (cbrt b))))) (* 2 b)))
556.0ms	(/ (+ (* (+ (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) y)) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
477.0ms	(exp (+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))))
375.0ms	(/ (+ (* (+ (* (+ (* (* (+ (* x y) z) (* (cbrt y) (cbrt y))) (cbrt y)) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

Rules

7978×	times-frac
5700×	*-un-lft-identity
5612×	add-sqr-sqrt
4328×	add-cube-cbrt
2393×	add-exp-log
1457×	unpow-prod-down
1288×	add-cbrt-cube
1280×	associate-*l*
1032×	prod-exp
957×	cbrt-prod
950×	sqrt-prod
863×	pow1
743×	associate-*r*
591×	add-log-exp
540×	div-exp
428×	cbrt-unprod
420×	distribute-lft-out--
415×	difference-of-squares
402×	flip-- flip3--
364×	associate-/l* div-inv
356×	exp-sum
352×	distribute-rgt-neg-in
314×	associate-/r*
305×	distribute-lft-out
298×	associate-/r/
293×	distribute-lft-neg-in
252×	log-prod
238×	cbrt-undiv
220×	pow-prod-down
217×	pow-exp
216×	frac-times
199×	unswap-sqr
197×	cbrt-div
182×	associate-*l/
178×	associate-*r/
177×	distribute-rgt-in distribute-lft-in
156×	pow-to-exp
146×	cube-prod
133×	flip-+ flip3-+
132×	frac-sub
125×	sqr-pow *-commutative sub-neg
115×	exp-prod
112×	sqrt-div
93×	pow1/3
91×	swap-sqr
86×	neg-mul-1
81×	sqrt-pow1
70×	log-pow
66×	clear-num frac-2neg
65×	sum-log
64×	diff-log
52×	associate-/l/
51×	associate-+l+
50×	associate-+r+
49×	1-exp rec-exp
46×	pow1/2
39×	frac-add
38×	sin-mult
36×	rem-sqrt-square
35×	cos-mult
31×	neg-sub0
28×	neg-log
26×	tan-quot +-commutative
25×	pow-unpow
24×	associate-+l- associate--r+
20×	pow-pow
19×	rem-exp-log sub-div
16×	log-div
15×	un-div-inv
14×	distribute-neg-in pow-flip
13×	inv-pow pow-sqr pow-prod-up associate--l-
12×	associate--l+
10×	exp-diff
9×	cube-div
8×	div-sub
7×	exp-neg pow2 pow-plus distribute-neg-frac
6×	distribute-rgt-neg-out
5×	sqrt-unprod log-rec
4×	unpow3 cube-mult distribute-frac-neg
3×	distribute-lft-neg-out associate-+r- distribute-rgt-out-- rem-log-exp
2×	cos-sum rem-cube-cbrt tan-sum rem-cbrt-cube
1×	unpow1/3 cube-neg