Details

rewrite32.3s (4.2%)

Algorithm

105×	rewrite-expression-head

Calls

359 calls:

6.4s	(* (* (* x (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (/ 1 y))
1.2s	(* (* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) (/ 1 y))
1.2s	(/ (- (* (* z (/ (sqrt (+ t a)) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (cbrt t) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* (* (cbrt t) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
826.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))
804.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

Rules

5784×	times-frac
4896×	add-sqr-sqrt
4598×	*-un-lft-identity
3379×	add-cube-cbrt
2528×	add-exp-log
1438×	add-cbrt-cube
1220×	prod-exp
993×	pow1
857×	associate-*r*
636×	associate-*r/
624×	associate-*l/
602×	flip3-- flip--
577×	associate-*l*
558×	difference-of-squares
551×	cbrt-unprod
538×	add-log-exp
504×	associate-/l*
494×	div-exp
440×	frac-sub
426×	distribute-lft-out--
379×	sqrt-prod frac-times
351×	associate-/r*
302×	cbrt-prod
295×	pow-prod-down
246×	cbrt-undiv
236×	distribute-rgt-neg-in
228×	distribute-lft-out
220×	log-prod
207×	distribute-lft-neg-in
204×	unpow-prod-down div-inv
189×	distribute-rgt-in distribute-lft-in
181×	pow-exp
172×	unswap-sqr
159×	pow-to-exp
150×	associate-/l/
135×	*-commutative
133×	associate-/r/
131×	flip-+ flip3-+
120×	exp-prod sub-neg
98×	log-pow
94×	sqrt-div
87×	cbrt-div
81×	1-exp
70×	pow-flip
65×	clear-num frac-2neg
57×	neg-mul-1
55×	rec-exp
54×	sum-log
53×	pow1/3
50×	associate-+r+
47×	sqr-pow
46×	diff-log
45×	associate-+l+
44×	pow1/2 sqrt-pow1
41×	exp-sum
36×	rem-sqrt-square
33×	pow-unpow
31×	cube-prod
28×	sin-mult
27×	associate-+l-
26×	associate--r+
25×	+-commutative
24×	tan-quot
23×	cos-mult log-div
21×	swap-sqr
18×	inv-pow
17×	neg-sub0
15×	pow-prod-up
14×	pow-pow
13×	frac-add sub-div
12×	distribute-neg-frac neg-log associate--l+
11×	unpow2 pow-sqr div-sub
10×	un-div-inv rem-exp-log distribute-rgt-neg-out
9×	unpow3 cube-mult
8×	log-rec
7×	cube-div rem-log-exp
6×	associate-+r- pow-plus
5×	exp-diff associate--l- pow2
4×	distribute-lft-neg-out distribute-neg-in distribute-frac-neg
3×	exp-neg
2×	cos-sum mul-1-neg sqrt-unprod unpow-prod-up unsub-neg quot-tan tan-sum exp-to-pow
1×	rem-cube-cbrt sin-cos-mult pow-sub unpow1/2 rem-square-sqrt rem-cbrt-cube pow-neg