Details

rewrite28.4s (4.0%)

Algorithm

104×	rewrite-expression-head

Calls

353 calls:

1.4s	(+ (+ (- (+ (log (+ x y)) (log z)) t) (* (* 2 (log (cbrt t))) (- a 0.5))) (* (log (cbrt t)) (- a 0.5)))
1.3s	(+ (+ (- (+ (log (+ x y)) (log z)) t) (* (* 2 (log (cbrt t))) (- a 0.5))) (* (log (pow t 1/3)) (- a 0.5)))
1.2s	(/ (- (* z (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (/ t (sqrt (+ t a))) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* (/ t (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))))
927.0ms	(- (* z (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (/ t (sqrt (+ t a))) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
910.0ms	(/ (+ (* (+ (* (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) (cbrt (+ (* (+ (* x y) z) y) 27464.7644705))) (* (cbrt (+ (* (+ (* x y) z) y) 27464.7644705)) y)) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

Rules

7074×	times-frac
5127×	*-un-lft-identity
5125×	add-sqr-sqrt
4060×	add-cube-cbrt
3024×	add-exp-log
1715×	prod-exp
1442×	cbrt-prod
1369×	add-cbrt-cube
853×	pow1
803×	unpow-prod-down
732×	distribute-rgt-neg-in
709×	distribute-lft-neg-in
675×	cube-prod
657×	associate-*l/
654×	flip3-- flip--
624×	associate-*r*
605×	associate-*l*
596×	associate-*r/
561×	add-log-exp
504×	associate-/r*
499×	div-exp
463×	frac-times
457×	cbrt-unprod
378×	sqrt-prod
372×	pow-exp
366×	pow-to-exp
359×	frac-sub
339×	difference-of-squares
330×	div-inv
313×	distribute-lft-out--
283×	associate-/l*
243×	distribute-lft-out
226×	cbrt-undiv
223×	pow-prod-down
220×	neg-mul-1
195×	unswap-sqr
164×	exp-prod
150×	flip-+ flip3-+
149×	associate-/r/
145×	sub-neg
143×	sqrt-div
136×	associate-/l/
129×	*-commutative
128×	cbrt-div
123×	distribute-rgt-in distribute-lft-in
119×	sqr-pow
96×	log-pow
95×	log-prod
89×	tan-quot
80×	frac-add
70×	clear-num frac-2neg
69×	sum-log
57×	sqrt-pow1 diff-log
51×	unpow3 cube-mult
45×	associate-+r+
43×	pow1/3
42×	pow1/2
41×	1-exp
40×	rec-exp
39×	distribute-neg-frac
33×	pow-unpow
31×	exp-sum
30×	associate-+l+
29×	rem-sqrt-square
27×	+-commutative
26×	associate--r+
22×	unpow2 log-div
21×	associate-+l-
20×	exp-diff pow-pow
18×	cube-div pow-prod-up
16×	neg-sub0
15×	pow-sub associate--l+
14×	un-div-inv unpow-prod-up
13×	sin-mult cos-mult
12×	div-sub
10×	inv-pow pow-sqr pow-flip
9×	pow-plus rem-exp-log exp-neg swap-sqr
7×	neg-log sub-div distribute-frac-neg
6×	distribute-lft-neg-out
5×	rem-cube-cbrt associate--l-
4×	rem-cbrt-cube pow2
3×	rem-log-exp
2×	sqrt-unprod cos-sum tan-sum associate-+r-
1×	quot-tan e-exp-1 unpow1/3 pow3 unsub-neg rem-square-sqrt log-rec acos-asin cube-neg exp-to-pow