Details

rewrite17.8s (8.2%)

Algorithm

107×	rewrite-expression-head

Calls

367 calls:

2.4s	(/ (* 2.0 c) (+ (- b) (- (* 2.0 (* (* (/ a (* (cbrt b) (cbrt b))) (/ (* (cbrt c) (cbrt c)) (cbrt 1))) (/ (cbrt c) (cbrt b)))) b)))
1.2s	(* (/ (/ (pow (/ 1 (sqrt a)) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) y) (* (/ (pow (/ 1 (sqrt a)) 1.0) (sqrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) x))
438.0ms	(exp (+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))))
435.0ms	(/ (* 2.0 c) (+ (- b) (- (* 2.0 (* (/ a (* (cbrt b) (cbrt b))) (/ c (cbrt b)))) b)))
349.0ms	(/ (+ (* (+ (* (+ (* (* (cbrt (* (+ (* x y) z) y)) (cbrt (* (+ (* x y) z) y))) (cbrt (* (+ (* x y) z) y))) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

Rules

7389×	times-frac
5311×	add-sqr-sqrt
5276×	*-un-lft-identity
4118×	add-cube-cbrt
2369×	add-exp-log
1362×	unpow-prod-down
1271×	associate-*l*
1260×	add-cbrt-cube
1015×	prod-exp
965×	sqrt-prod
865×	pow1
835×	cbrt-prod
741×	associate-*r*
580×	add-log-exp
532×	div-exp
409×	cbrt-unprod
383×	flip-- flip3--
370×	difference-of-squares
364×	associate-/r*
361×	distribute-lft-out--
352×	associate-/l*
346×	exp-sum
331×	div-inv
322×	distribute-rgt-neg-in
283×	log-prod
262×	distribute-lft-neg-in
248×	distribute-lft-out
222×	cbrt-undiv
221×	cbrt-div pow-exp
219×	pow-prod-down
217×	frac-times
209×	associate-/r/
195×	unswap-sqr
194×	associate-*l/
168×	associate-*r/
162×	exp-prod
158×	pow-to-exp
153×	distribute-rgt-in distribute-lft-in
146×	log-pow
137×	frac-sub
130×	sqr-pow
127×	pow-flip
123×	*-commutative
116×	flip-+ sqrt-div flip3-+
115×	sub-neg
105×	pow1/3
100×	sqrt-pow1
94×	swap-sqr
79×	neg-mul-1
68×	clear-num frac-2neg
65×	diff-log
58×	sum-log
55×	associate-/l/
53×	1-exp rec-exp
50×	associate-+l+
44×	associate-+r+
42×	pow1/2
34×	sin-mult
31×	cos-mult
30×	frac-add
27×	rem-sqrt-square
26×	tan-quot
24×	associate--r+
23×	+-commutative
20×	neg-sub0
19×	associate-+l- log-div
18×	inv-pow sub-div neg-log
17×	pow-unpow
15×	rem-log-exp
14×	pow-sqr cube-prod pow-prod-up
13×	pow-pow associate--l+
12×	un-div-inv rem-exp-log distribute-neg-frac associate--l-
8×	pow2 pow-plus log-rec
7×	cube-div div-sub
6×	distribute-rgt-neg-out
5×	exp-diff sqrt-unprod
3×	distribute-lft-neg-out associate-+r- distribute-rgt-out--
2×	cos-sum sqrt-undiv unpow3 distribute-neg-in cube-mult distribute-frac-neg tan-sum
1×	unpow1/3 exp-neg distribute-rgt-out rem-cbrt-cube