Pow Pow Pow Pow Pow Pow tan Mul x0 x7 Add x0 x0 2 x0 acoth Add x1 2 Pow E x3 x3 
Mul Pow Pow Pow Pow Pow Pow tan Mul x0 x7 Add x0 x0 2 x0 acoth Add x1 2 Pow E x3 Add x3 -1 Mul x3 Mul Pow Pow Pow Pow Pow tan Mul x0 x7 Add x0 x0 2 x0 acoth Add x1 2 Add Pow E x3 -1 Mul Pow E x3 Mul Pow Pow Pow Pow tan Mul x0 x7 Add x0 x0 2 x0 Add acoth Add x1 2 -1 Mul acoth Add x1 2 Mul Pow Pow Pow tan Mul x0 x7 Add x0 x0 2 Add x0 -1 Add Mul x0 Mul Pow tan Mul x0 x7 Add x0 x0 Mul 2 Mul Pow tan Mul x0 x7 Add Add x0 x0 -1 Add Mul Add x0 x0 Mul Pow sec Mul x0 x7 2 x7 Mul Mul tan Mul x0 x7 log tan Mul x0 x7 2 Mul Pow Pow tan Mul x0 x7 Add x0 x0 2 log Pow Pow tan Mul x0 x7 Add x0 x0 2 