Details

rewrite1.1m (4.4%)

Algorithm

852×	rewrite-expression-head

Calls

2272 calls:

6.1s	(* (fma 1.0 1.0 (fma y y (* 1.0 y))) (+ (- (/ (- x y) (- (pow 1.0 3) (pow y 3)))) (/ (- x y) (- (pow 1.0 3) (pow y 3)))))
913.0ms	(* (+ (* (* (cbrt (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)) (cbrt (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y))) (cbrt (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y))) t) (/ 1 (* (fma (fma (fma (+ y a) y b) y c) y i) 1)))
659.0ms	(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
527.0ms	(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* t (- b c)) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
520.0ms	(- (+ y (/ (pow x (/ 2 2)) (/ y x))) (/ (pow z 2) y))

Rules

63766×	times-frac
52352×	*-un-lft-identity
48651×	add-sqr-sqrt
36186×	add-cube-cbrt
9839×	add-exp-log
8141×	prod-diff
7592×	add-cbrt-cube
7327×	cbrt-prod
7058×	sqrt-prod
6996×	associate-*r*
5169×	pow1
5014×	distribute-lft-out--
4915×	difference-of-squares
3779×	associate-/r*
3478×	distribute-lft-out
3217×	associate-*l*
3191×	div-inv
3061×	add-log-exp
2656×	unpow-prod-down
2654×	prod-exp
2554×	div-exp
2552×	distribute-rgt-in distribute-lft-in
2514×	associate-/l*
2338×	associate-*r/
2294×	flip-- flip3--
2278×	expm1-log1p-u
2276×	log1p-expm1-u
2184×	associate-*l/
2030×	associate-/r/
1966×	cbrt-unprod
1733×	cube-prod
1716×	cbrt-undiv
1368×	log-prod
1324×	frac-times
1256×	flip-+ flip3-+
1208×	unswap-sqr
1191×	pow-prod-down
1166×	frac-sub
1163×	distribute-lft-neg-in
1048×	exp-sum
1015×	distribute-rgt-neg-in
863×	sqrt-div
773×	cbrt-div
770×	fma-def
753×	pow1/3
743×	sqr-pow
734×	associate-/l/
626×	distribute-rgt-out
624×	swap-sqr
576×	*-commutative
505×	associate-+l+
495×	clear-num frac-2neg
454×	log-pow
453×	fma-neg
441×	sub-neg
425×	associate-+r+
351×	fma-udef
329×	1-exp
320×	associate--l+
302×	rec-exp
252×	sqrt-pow1
249×	sum-log
233×	exp-prod
213×	unpow2
186×	pow-prod-up
174×	diff-log
172×	+-commutative
163×	neg-mul-1
161×	pow1/2
155×	pow-exp
152×	pow-sqr
137×	pow-unpow
136×	pow-to-exp
115×	div-sub
105×	associate--r+ log-div
101×	frac-add
81×	pow-plus
77×	pow-flip
74×	pow2
65×	rem-sqrt-square inv-pow
54×	pow-pow
53×	unpow3 cube-mult
43×	cos-sum
42×	tanh-def
40×	distribute-rgt-neg-out
38×	un-div-inv
35×	distribute-rgt-out-- sinh-def
34×	difference-cubes rem-log-exp
33×	hypot-def distribute-neg-frac
30×	exp-diff
28×	cube-div
26×	rem-cube-cbrt
22×	unsub-neg
20×	associate-+l-
19×	rem-exp-log distribute-lft1-in
14×	distribute-lft-neg-out expm1-udef rem-cbrt-cube
13×	sqrt-unprod expm1-log1p
12×	sum-cubes associate-+r-
11×	cos-diff
10×	log1p-udef log1p-expm1 sub-div cosh-def
9×	rem-square-sqrt
8×	associate--l- neg-sub0
7×	diff-cos
6×	associate--r-
5×	distribute-rgt1-in count-2
4×	neg-log tan-quot
3×	sqrt-undiv sqrt-pow2 hypot-udef distribute-frac-neg exp-to-pow
2×	unpow1/3 pow3 exp-neg mul-1-neg
1×	sqr-sin acos-asin sin-mult