Add Mul x0 asech Mul Mul Pow acoth x0 Add x2 Pow Pow x0 5 x0 Mul x0 x0 x7 pi 
Add asech Mul Mul Pow acoth x0 Add x2 Pow Pow x0 5 x0 Mul x0 x0 x7 Mul x0 Mul Mul x7 Add Mul Mul x0 x0 Mul Pow acoth x0 Add Add x2 Pow Pow x0 5 x0 -1 Add Mul Add x2 Pow Pow x0 5 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acoth x0 log acoth x0 Mul Pow Pow x0 5 Add x0 -1 Add Mul x0 Mul Pow x0 4 5 Mul Pow x0 5 log Pow x0 5 Mul Pow acoth x0 Add x2 Pow Pow x0 5 x0 Add x0 x0 Pow Mul Mul Mul Mul Pow acoth x0 Add x2 Pow Pow x0 5 x0 Mul x0 x0 x7 Mul Mul Pow acoth x0 Add x2 Pow Pow x0 5 x0 Mul x0 x0 x7 sqrt Add 1 Mul -1 Pow Mul Mul Mul Pow acoth x0 Add x2 Pow Pow x0 5 x0 Mul x0 x0 x7 Mul Mul Pow acoth x0 Add x2 Pow Pow x0 5 x0 Mul x0 x0 x7 -1 -1 