Details

rewrite30.6s (6.1%)

Algorithm

105×	rewrite-expression-head

Calls

348 calls:

3.3s	(* (* (* (- y z) (* (cbrt (/ 1 (- (+ t 1.0) z))) (cbrt (/ 1 (- (+ t 1.0) z))))) (cbrt (/ 1 (- (+ t 1.0) z)))) (- a x))
1.6s	(* (* (- y z) (/ (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (cbrt (- (+ t 1.0) z)))) (- a x))
1.2s	(/ (- (* z (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (/ t (sqrt (+ t a))) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* (/ t (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))))
1.2s	(+ (+ (- (+ (log (+ x y)) (log z)) t) (* (* 2 (log (cbrt t))) (- a 0.5))) (* (log (cbrt t)) (- a 0.5)))
1.0s	(* (/ 1 (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))) (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))

Rules

4533×	times-frac
4220×	add-sqr-sqrt
4208×	*-un-lft-identity
2982×	add-exp-log
2835×	add-cube-cbrt
1624×	prod-exp
1343×	add-cbrt-cube
886×	pow1
781×	associate-*l*
714×	flip3-- flip--
692×	associate-*l/
667×	sqrt-prod
620×	associate-*r*
557×	frac-times
556×	add-log-exp
543×	associate-*r/ div-exp
512×	distribute-lft-out--
490×	difference-of-squares
434×	cbrt-unprod
365×	frac-sub
341×	associate-/r*
332×	cbrt-prod
324×	distribute-rgt-neg-in
306×	associate-/l*
302×	pow-to-exp pow-exp
280×	cbrt-div
253×	pow-prod-down
246×	distribute-lft-neg-in
237×	div-inv
226×	cbrt-undiv
197×	associate-/r/
182×	unswap-sqr
166×	distribute-lft-out
161×	sub-neg
145×	distribute-rgt-in distribute-lft-in
140×	flip-+ flip3-+
133×	associate-/l/
131×	exp-prod *-commutative
130×	swap-sqr
114×	sqrt-pow1
86×	sqrt-div
84×	unpow-prod-down
78×	neg-mul-1
73×	log-prod
66×	clear-num log-pow frac-2neg
65×	diff-log
63×	1-exp pow1/3 rec-exp
59×	sum-log
51×	associate-+r+
45×	pow1/2
39×	sqr-pow
36×	frac-add
34×	exp-sum
30×	pow-prod-up
27×	rem-sqrt-square associate--r+
26×	pow-sqr
25×	cos-mult
24×	associate-+l+ +-commutative
22×	sin-mult
21×	tan-quot
20×	exp-diff associate--l+
19×	unpow2 associate-+l-
18×	distribute-neg-frac
12×	log-div
11×	div-sub
10×	rem-exp-log sub-div cube-prod neg-sub0
8×	pow-unpow associate--l- inv-pow pow-flip neg-log
7×	un-div-inv distribute-lft-neg-out pow-plus
6×	pow2 pow-pow
3×	sqrt-unprod associate-+r-
2×	cos-sum distribute-neg-in unpow-prod-up pow-sub rem-square-sqrt distribute-frac-neg tan-sum
1×	cube-div sin-cos-mult exp-neg unsub-neg unpow3 cube-mult distribute-rgt-out pow-neg rem-cbrt-cube rem-log-exp