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