Details

rewrite26.8s (3.9%)

Algorithm

107×	rewrite-expression-head

Calls

358 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))))
751.0ms	(* (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
686.0ms	(* (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
657.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))

Rules

7232×	times-frac
5739×	add-sqr-sqrt
5318×	*-un-lft-identity
3882×	add-cube-cbrt
3579×	add-exp-log
1966×	prod-exp
1441×	add-cbrt-cube
875×	pow1
826×	associate-*r*
801×	div-exp
788×	sqrt-prod
764×	associate-*l/
758×	flip3-- flip--
704×	associate-*l*
681×	difference-of-squares
556×	add-log-exp
527×	associate-*r/
514×	distribute-lft-out--
498×	frac-sub
482×	cbrt-unprod
463×	frac-times
442×	pow-exp
440×	pow-to-exp
434×	associate-/r*
380×	cbrt-prod
368×	associate-/l*
330×	div-inv
327×	associate-/r/
271×	distribute-rgt-neg-in
260×	distribute-lft-neg-in
247×	pow-prod-down
244×	cbrt-undiv
228×	distribute-lft-out
208×	unswap-sqr
199×	unpow-prod-down
184×	cbrt-div
158×	associate-/l/
155×	sub-neg
135×	flip-+ flip3-+
133×	distribute-rgt-in distribute-lft-in
126×	*-commutative
112×	sqrt-div
89×	log-prod
79×	sqr-pow
73×	clear-num frac-2neg
69×	associate-+r+
68×	neg-mul-1
66×	tan-quot
65×	diff-log
61×	sqrt-pow1
57×	pow1/2
56×	swap-sqr
54×	pow1/3
50×	1-exp rec-exp
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
20×	+-commutative
19×	cos-mult associate--l+
18×	log-pow
17×	sin-mult
15×	pow-prod-up exp-sum
14×	pow-pow unpow2
13×	pow-sqr
12×	div-sub
11×	pow-flip distribute-neg-frac
10×	cube-prod inv-pow sub-div associate-+l-
7×	un-div-inv rem-exp-log pow-plus pow2
6×	exp-diff sqrt-unprod pow-sub neg-sub0 log-div
4×	neg-log associate--l-
2×	cube-div unpow3 cube-mult distribute-frac-neg 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