Details

rewrite7.0s (0.9%)

Algorithm

100×	rewrite-expression-head

Calls

326 calls:

733.0ms	(* (pow (/ (* (cbrt 1) (cbrt 1)) (* (cbrt a) (cbrt a))) 1.0) (/ x (/ y (/ (pow (/ (cbrt 1) (cbrt a)) 1.0) (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))))))
359.0ms	(* (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) (/ (* (cbrt (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) (cbrt (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))) (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))))
264.0ms	(+ (+ (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (- (log z) t))) (* (- a 0.5) (log t)))
243.0ms	(* (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) (/ (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
188.0ms	(* (* (cbrt x) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))) (* (cbrt x) (/ y z)))

Rules

13019×	times-frac
8395×	*-un-lft-identity
8040×	add-sqr-sqrt
6810×	add-cube-cbrt
2947×	unpow-prod-down
2170×	associate-*r*
2109×	cbrt-prod
2080×	add-exp-log
1303×	prod-diff
1067×	add-cbrt-cube
955×	prod-exp
928×	pow1
736×	exp-sum
713×	fma-udef
576×	associate-/r*
526×	distribute-rgt-neg-in
524×	add-log-exp
520×	sqrt-prod
506×	cube-prod
479×	distribute-lft-neg-in
461×	distribute-lft-out
440×	div-exp
402×	distribute-lft-out--
394×	associate-*l*
390×	cbrt-unprod
372×	difference-of-squares
327×	expm1-log1p-u
326×	log1p-expm1-u
325×	div-inv
268×	fma-neg
264×	pow-prod-down
214×	pow-exp
213×	associate-/r/
203×	associate-/l*
189×	flip-- flip3--
181×	distribute-rgt-in distribute-lft-in
177×	unswap-sqr
162×	cbrt-undiv
156×	sqr-pow
152×	pow-to-exp
144×	neg-mul-1
140×	associate-+r+
135×	fma-def
132×	sqrt-pow1
131×	exp-prod
128×	log-pow
125×	flip-+ flip3-+
112×	cbrt-div
109×	associate-*r/
105×	sub-neg
98×	associate-*l/
95×	*-commutative log-prod
91×	frac-times
90×	sqrt-div
70×	diff-log
65×	associate--r+
58×	tan-quot
55×	pow1/3
54×	clear-num frac-2neg
53×	sum-log
52×	associate-+l+
50×	swap-sqr
44×	pow1/2
39×	distribute-neg-in
38×	frac-sub
36×	1-exp
35×	cos-mult associate-+l-
33×	associate-/l/
31×	neg-sub0 pow-prod-up
30×	rec-exp
27×	pow-sqr
26×	sin-mult
25×	pow-unpow
24×	rem-sqrt-square neg-log
20×	associate--l+ log-div
18×	+-commutative
15×	associate-+r-
14×	frac-add associate--l-
12×	rem-exp-log unpow3 cube-mult div-sub
11×	exp-diff sub-div
10×	pow-pow
9×	exp-neg
7×	cube-div rem-cube-cbrt pow-flip
6×	un-div-inv pow-plus distribute-neg-frac
5×	inv-pow pow2 unpow2
4×	distribute-frac-neg
3×	sqrt-unprod
2×	rem-cbrt-cube distribute-lft-neg-out rem-square-sqrt tan-sum cos-sum exp-to-pow
1×	log1p-udef associate--r- log1p-expm1 unsub-neg unpow1/2 cube-neg expm1-udef rem-log-exp