Details

rewrite9.9m

Algorithm

94×	rewrite-expression-head

Calls

312 calls:

Slowest

5.0m	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
3.1m	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
22.9s	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
12.3s	(/ (+ (pow (+ (+ (* x y) (* z t)) (* a b)) 3) (pow (* c i) 3)) (+ (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (- (* (* c i) (* c i)) (* (+ (+ (* x y) (* z t)) (* a b)) (* c i)))))
5.8s	(pow (exp (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))

Rules

444165×	*-un-lft-identity
294682×	associate-*l*
277880×	distribute-lft-out
78997×	times-frac
48098×	add-sqr-sqrt
45798×	distribute-lft-out--
39542×	unpow-prod-down
39512×	cube-prod
31989×	associate-/r*
31109×	frac-times
29021×	add-cube-cbrt
14515×	associate-/l*
13687×	associate-*r*
13192×	cbrt-prod
10384×	cbrt-div
9689×	distribute-rgt-neg-in
9362×	distribute-lft-neg-in
7038×	frac-sub
6847×	unswap-sqr
5680×	associate-/l/
4098×	swap-sqr
3674×	clear-num
3522×	frac-2neg
3275×	difference-of-squares
3239×	associate-*r/
3064×	neg-mul-1
2576×	associate-*l/
2504×	*-commutative
1992×	sqrt-prod
1831×	pow-unpow
1796×	flip3-- sum-cubes flip--
1713×	flip-+ flip3-+
1595×	add-exp-log
1409×	add-cbrt-cube
1114×	pow1
1003×	frac-add
611×	div-inv
582×	add-log-exp
535×	prod-exp
482×	cbrt-unprod
398×	sqrt-div
375×	un-div-inv
362×	div-exp
340×	log-prod
312×	insert-posit16
307×	pow-prod-down
293×	cbrt-undiv
285×	associate-/r/
221×	associate--l+
214×	exp-prod
210×	exp-sum
192×	distribute-rgt-in distribute-lft-in
184×	associate-+r+
173×	associate-+l+
172×	tan-quot
131×	log-pow
114×	sub-neg
113×	pow-pow
100×	distribute-neg-frac
97×	sum-log
81×	diff-log
80×	pow-prod-up
79×	1-exp rec-exp
67×	+-commutative
54×	pow1/3
43×	sqrt-pow1 pow1/2
41×	pow-flip
39×	pow-sqr
37×	inv-pow
33×	pow-plus
31×	sin-mult
28×	associate-+l-
25×	difference-of-sqr-1 rem-sqrt-square
24×	distribute-rgt-out--
21×	neg-sub0
20×	div-sub log-div
19×	sub-div
18×	rem-exp-log
16×	associate--l-
15×	pow2
12×	neg-log
11×	distribute-rgt-out
10×	cos-mult pow3
9×	distribute-frac-neg
8×	exp-diff associate--r+
7×	associate-+r- rem-log-exp
6×	distribute-lft1-in pow-exp distribute-rgt-neg-out rem-cbrt-cube
4×	sqr-pow pow-to-exp tan-sum cos-sum
3×	remove-double-div cos-2
2×	distribute-lft-neg-out cube-unmult sqrt-unprod exp-to-pow distribute-neg-in
1×	unpow1/2 exp-neg unpow2 sqr-neg