Details

rewrite1.8m (11.2%)

Algorithm

102×	rewrite-expression-head

Calls

346 calls:

21.8s	(/ (- (* (* (sqrt 1) (/ z (cbrt t))) (+ b c)) (* (/ (* (cbrt t) (cbrt t)) (sqrt (+ t a))) (* (- (* b b) (* c c)) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))) (* (/ (* (cbrt t) (cbrt t)) (sqrt (+ t a))) (+ b c)))
8.2s	(- (* (* (sqrt 1) (/ z (cbrt t))) (+ b c)) (* (/ (* (cbrt t) (cbrt t)) (sqrt (+ t a))) (* (- (* b b) (* c c)) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))
2.7s	(- (* (/ (sqrt (+ t a)) (* (cbrt t) (cbrt t))) (/ z (cbrt t))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
857.0ms	(/ (* (cbrt (+ (* (- (* x (sqrt 1.0))) (cbrt (sin B))) (* (/ (tan B) (sqrt 1.0)) (/ 1.0 (* (cbrt (sin B)) (cbrt (sin B))))))) (cbrt (+ (* (- (* x (sqrt 1.0))) (cbrt (sin B))) (* (/ (tan B) (sqrt 1.0)) (/ 1.0 (* (cbrt (sin B)) (cbrt (sin B)))))))) (* (/ (tan B) (sqrt 1.0)) (* (cbrt (cbrt (sin B))) (cbrt (cbrt (sin B))))))
608.0ms	(/ (/ (/ (/ a (sqrt 1)) (sqrt 1)) (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) c)) a)

Rules

152274×	add-sqr-sqrt
151600×	*-un-lft-identity
122720×	frac-sub
115402×	associate-/r*
113206×	times-frac
100171×	frac-times
86742×	add-cube-cbrt
82023×	cbrt-prod
68280×	associate-*l*
44399×	associate-/l*
33092×	associate-*r*
31273×	flip-+ flip3-+
29804×	sqrt-prod
28933×	distribute-lft-out
26960×	unswap-sqr
23255×	flip3-- flip--
23056×	swap-sqr
22922×	associate-*r/
10333×	clear-num
10182×	frac-2neg
9812×	distribute-rgt-neg-in
8630×	associate-*l/
7347×	unpow-prod-down
6533×	*-commutative
6449×	difference-of-squares
4878×	exp-sum
4614×	associate-/l/
4413×	distribute-lft-out--
3792×	log-prod
3695×	associate-+l+
3376×	sqrt-div
2794×	add-exp-log
2442×	div-inv
2079×	add-cbrt-cube
1961×	distribute-rgt-in distribute-lft-in
1411×	sqr-pow
1287×	prod-exp
1159×	cbrt-div
1079×	cbrt-unprod
948×	cube-prod
904×	pow1
749×	div-exp
706×	associate-+r+
667×	+-commutative
577×	cbrt-undiv
547×	add-log-exp
367×	associate-/r/
344×	pow-exp
341×	distribute-lft-neg-in
299×	un-div-inv
273×	frac-add
265×	distribute-neg-frac
257×	pow-to-exp
254×	pow-prod-down
194×	exp-prod
154×	log-pow
140×	rec-exp 1-exp
135×	pow-unpow
102×	tan-quot
97×	neg-mul-1
95×	sub-neg associate--l+
92×	sum-cubes
81×	pow1/3
76×	sum-log
59×	pow1/2 sqrt-pow1
46×	rem-sqrt-square
41×	diff-log
40×	unpow2
32×	sin-mult
26×	cos-mult
24×	associate-+l-
22×	neg-sub0 log-rec
20×	sub-div pow-flip
18×	distribute-lft-neg-out distribute-rgt-out--
16×	neg-log associate--r+ log-div
15×	inv-pow
14×	div-sub
13×	distribute-rgt-out pow-prod-up
12×	pow-pow
11×	pow-sqr
8×	rem-exp-log
7×	associate--l- distribute-rgt-neg-out rem-log-exp
6×	cube-div distribute-frac-neg
5×	exp-diff pow2 pow-plus
4×	cos-sum associate-+r- exp-neg tan-sum
3×	remove-double-div
2×	rem-cube-cbrt sqrt-unprod distribute-neg-in unpow-prod-up unpow3 cube-mult rem-cbrt-cube exp-to-pow
1×	pow-sub unsub-neg unpow1/2 rem-square-sqrt +-inverses