Details

rewrite26.4s (3.8%)

Algorithm

107×	rewrite-expression-head

Calls

360 calls:

1.5s	(* (* (- y z) (/ (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (cbrt (- (+ t 1.0) z)))) (- a x))
1.1s	(/ (- (* (* (- a (/ 5.0 6.0)) (* t 3.0)) (/ (* z (sqrt (+ t a))) (cbrt t))) (* (* (cbrt t) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* (* (cbrt t) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
868.0ms	(* (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
808.0ms	(* (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
622.0ms	(- (* (* (- a (/ 5.0 6.0)) (* t 3.0)) (/ (* z (sqrt (+ t a))) (cbrt t))) (* (* (cbrt t) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))

Rules

7525×	times-frac
6104×	add-sqr-sqrt
5533×	*-un-lft-identity
4018×	add-cube-cbrt
3394×	add-exp-log
1842×	prod-exp
1483×	add-cbrt-cube
966×	sqrt-prod
889×	pow1
879×	associate-*r*
781×	associate-*l/
763×	flip3-- flip--
741×	associate-*l*
732×	difference-of-squares
719×	div-exp
558×	add-log-exp
537×	distribute-lft-out--
517×	associate-*r/
502×	associate-/r*
498×	cbrt-unprod
496×	frac-sub
465×	frac-times
373×	pow-exp
372×	cbrt-prod
370×	associate-/l*
369×	pow-to-exp
344×	distribute-rgt-neg-in
337×	distribute-lft-neg-in
326×	div-inv
318×	associate-/r/
259×	cbrt-undiv
251×	pow-prod-down
246×	unpow-prod-down
243×	unswap-sqr
237×	distribute-lft-out
184×	cbrt-div
158×	associate-/l/
153×	sub-neg
146×	sqrt-div
135×	distribute-rgt-in distribute-lft-in
129×	flip-+ flip3-+
126×	*-commutative
104×	sqr-pow
101×	log-prod
81×	neg-mul-1
77×	associate-+r+
75×	clear-num frac-2neg
71×	1-exp rec-exp
66×	tan-quot
65×	diff-log
62×	sqrt-pow1
58×	pow1/2
56×	swap-sqr
54×	pow1/3
49×	sum-log
42×	rem-sqrt-square
39×	pow-unpow
35×	frac-add
32×	unpow-prod-up
26×	associate--r+
25×	associate-+l+
23×	exp-prod
22×	distribute-neg-frac
20×	+-commutative
19×	cos-mult
18×	log-pow pow-flip
17×	sin-mult associate--l+
16×	pow-pow
15×	pow-prod-up exp-sum
14×	inv-pow unpow2
13×	pow-sqr div-sub
11×	sub-div
10×	cube-prod un-div-inv associate-+l-
7×	rem-exp-log pow-plus pow2
6×	exp-diff sqrt-unprod pow-sub neg-sub0 log-div
4×	neg-log associate--l-
3×	distribute-frac-neg
2×	cube-div unpow3 cube-mult cos-sum tan-sum rem-log-exp associate-+r-
1×	rem-cube-cbrt e-exp-1 quot-tan rem-square-sqrt acos-asin rem-cbrt-cube distribute-rgt-neg-out