Details

rewrite9.2s

Algorithm

100×	rewrite-expression-head

Calls

338 calls:

Slowest

688.0ms	(- (+ (/ (* (cos a) (sin z)) (cos z)) (+ (/ (* (sin a) (* (sin z) (sin y))) (* (cos y) (cos z))) (/ (* (cos a) (sin y)) (cos y)))) (sin a))
684.0ms	(/ (- (pow (* (+ (* (+ (* a a) a) a) (* (* b b) (- 1 (* 3 a)))) 4) 3) (pow (- 1 (+ (* 2 (* (* a b) (* a b))) (+ (pow a 4) (pow b 4)))) 3)) (+ (* (* (+ (* (+ (* a a) a) a) (* (* b b) (- 1 (* 3 a)))) 4) (* (+ (* (+ (* a a) a) a) (* (* b b) (- 1 (* 3 a)))) 4)) (+ (* (- 1 (+ (* 2 (* (* a b) (* a b))) (+ (pow a 4) (pow b 4)))) (- 1 (+ (* 2 (* (* a b) (* a b))) (+ (pow a 4) (pow b 4))))) (* (* (+ (* (+ (* a a) a) a) (* (* b b) (- 1 (* 3 a)))) 4) (- 1 (+ (* 2 (* (* a b) (* a b))) (+ (pow a 4) (pow b 4))))))))
233.0ms	(/ (+ (* (+ (* (* (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y)) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
201.0ms	(/ (- (* (+ (tan y) (tan z)) (* (- (tan y) (tan z)) (+ (cos a) (* (+ (* (* (tan y) (tan z)) (* (tan y) (tan z))) (* (tan y) (tan z))) (cos a))))) (* (* (sin a) (- 1 (* (* (tan y) (tan z)) (* (* (tan y) (tan z)) (* (tan y) (tan z)))))) (- (tan y) (tan z)))) (* (* (- 1 (* (tan y) (tan z))) (cos a)) (* (- (tan y) (tan z)) (+ (* 1 1) (+ (* (* (tan y) (tan z)) (* (tan y) (tan z))) (* 1 (* (tan y) (tan z))))))))
165.0ms	(* (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))

Rules

40355×	associate-*l/
29589×	frac-add
18566×	associate-*r/
16438×	flip3-- flip--
15784×	frac-times
10915×	flip-+ flip3-+
7924×	associate-/r/
1027×	*-un-lft-identity
1016×	add-sqr-sqrt
980×	frac-sub
950×	tan-quot
908×	add-cube-cbrt
671×	add-exp-log
621×	pow1
605×	associate-/l/
593×	add-cbrt-cube
466×	times-frac
458×	add-log-exp
448×	cbrt-div
342×	associate-*r*
338×	insert-posit16
308×	associate-*l*
211×	cbrt-prod
178×	associate-/r*
156×	div-inv
151×	associate-/l*
145×	sub-neg
122×	sqrt-prod
121×	prod-exp
109×	*-commutative
105×	pow-prod-down
102×	cbrt-unprod
95×	distribute-rgt-in distribute-lft-in
90×	sqrt-div
84×	pow1/3
62×	frac-2neg clear-num
61×	difference-of-squares
59×	div-exp
54×	distribute-lft-neg-in distribute-rgt-neg-in
53×	cbrt-undiv
52×	pow-prod-up
51×	exp-prod
49×	distribute-lft-out
48×	cube-div
42×	exp-sum
40×	exp-diff
37×	diff-log log-pow
34×	rec-exp
31×	distribute-lft-out--
30×	pow-flip sub-div inv-pow pow1/2
27×	associate-+l- rem-sqrt-square
26×	associate-+r+ log-div
25×	sum-log log-prod
24×	sin-mult
23×	unpow-prod-down
22×	pow-plus
21×	associate--r+
19×	associate--l+
18×	cos-mult pow2 neg-mul-1 div-sub
17×	+-commutative
15×	distribute-rgt-out--
13×	associate-+l+ neg-sub0 rem-exp-log
12×	un-div-inv
11×	pow-unpow
7×	pow-to-exp
6×	associate--l- pow-exp pow-pow
5×	pow3 difference-cubes cube-prod rem-log-exp cos-2
4×	distribute-neg-frac unpow1/3 distribute-frac-neg distribute-neg-in
3×	associate-+r- rem-cbrt-cube
2×	unpow-prod-up distribute-lft1-in difference-of-sqr-1 tan-sum exp-to-pow cos-sum associate--r-
1×	remove-posit16 pow-neg neg-log sqrt-unprod distribute-lft-neg-out exp-neg unpow2 pow-sub distribute-rgt-out