Details

rewrite1.5m (2.7%)

Algorithm

855×	rewrite-expression-head

Calls

2254 calls:

4.8s	(* (* (* (/ (/ (pow (sqrt a) (- 1.0)) (cbrt (exp (- b (fma (log z) y (* (log a) t)))))) (cbrt (exp (- b (fma (log z) y (* (log a) t)))))) x) (/ (pow (sqrt a) (- 1.0)) (cbrt (exp (fma y (- (log z)) (fma (- (log a)) t b)))))) (/ 1 y))
3.6s	(+ (+ (+ (+ (+ x y) y) x) z) x)
998.0ms	(+ (* (- a x) (* (* (cbrt (/ (- y z) (- (+ t 1.0) z))) (cbrt (/ (- y z) (- (+ t 1.0) z)))) (cbrt (/ (- y z) (- (+ t 1.0) z))))) x)
875.0ms	(* (* (* (* (cbrt z) (cbrt z)) (* 18.0 (* x y))) (cbrt z)) t)
752.0ms	(* (* (* y (* (cbrt (- x z)) (cbrt (- x z)))) (cbrt (- x z))) t)

Rules

70219×	times-frac
56545×	*-un-lft-identity
53784×	add-sqr-sqrt
41532×	add-cube-cbrt
15043×	prod-diff
10799×	add-exp-log
9442×	sqrt-prod
7587×	add-cbrt-cube
5594×	pow1
4998×	cbrt-prod
4952×	associate-*r*
4638×	difference-of-squares
4382×	distribute-lft-out--
4294×	distribute-rgt-in distribute-lft-in
4140×	div-inv
3274×	distribute-lft-out
3230×	prod-exp
3179×	associate-/r*
3145×	associate-*l*
3111×	frac-times
3043×	cbrt-div
2958×	flip3-- flip--
2903×	add-log-exp
2760×	div-exp
2638×	associate-/r/
2576×	associate-/l*
2258×	expm1-log1p-u
2257×	log1p-expm1-u
2203×	cbrt-unprod
1767×	unpow-prod-down
1649×	cbrt-undiv
1576×	associate-*r/
1442×	pow-prod-down
1429×	associate-*l/
1227×	unswap-sqr
936×	associate--l+
920×	log-prod
885×	cube-prod
847×	fma-def
818×	flip-+ flip3-+
800×	sqrt-div
720×	pow1/3
633×	log-pow
631×	sqrt-pow1
605×	*-commutative
590×	fma-neg
573×	swap-sqr
495×	clear-num frac-2neg
486×	distribute-rgt-neg-in distribute-lft-neg-in
444×	exp-prod
443×	sqr-pow
398×	pow-exp
385×	1-exp sub-neg
375×	pow1/2
358×	frac-sub
355×	rec-exp
353×	unpow-prod-up
349×	associate-/l/
334×	associate-+r+
332×	associate-+l+
329×	fma-udef
287×	pow-prod-up
258×	pow-to-exp
206×	tanh-def
203×	pow-unpow
190×	pow-sqr
189×	sum-log
172×	diff-log
167×	neg-mul-1
119×	div-sub
114×	+-commutative
111×	pow-flip pow-pow
108×	rem-sqrt-square
85×	pow-plus
78×	inv-pow
76×	distribute-rgt-out
75×	pow2
70×	frac-add
68×	unpow2
56×	log-div
55×	unpow3 cube-mult
36×	un-div-inv
35×	rem-log-exp
32×	exp-sum
28×	associate-+l-
26×	cube-div
25×	difference-cubes sqrt-unprod
23×	rem-cube-cbrt cos-sum associate--r+
20×	cosh-def
19×	distribute-rgt-neg-out
17×	distribute-rgt-out--
16×	rem-square-sqrt
13×	sum-cubes
12×	pow-div distribute-neg-in sub-div
11×	distribute-lft-neg-out
10×	unpow1/3 unsub-neg hypot-def
9×	associate--r- associate-+r-
8×	rem-exp-log
7×	log1p-udef distribute-rgt1-in log1p-expm1 distribute-lft1-in neg-sub0 rem-cbrt-cube
6×	exp-diff sqrt-pow2 count-2 sinh-def
5×	e-exp-1 hypot-udef tan-quot
4×	associate--l- pow-sub expm1-log1p expm1-udef
3×	sqrt-undiv cos-diff diff-cos distribute-frac-neg
2×	exp-neg remove-double-div sin-mult cos-mult pow-neg exp-to-pow
1×	sin-cos-mult neg-log