Mul Pow x0 acoth x0 Mul Mul x5 -5 asech Mul x0 x6 
Add Mul Mul Mul x5 -5 asech Mul x0 x6 Mul Pow x0 Add acoth x0 -1 Add acoth x0 Mul Mul x0 log x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow x0 acoth x0 Mul Mul x5 -5 Mul x6 Pow Mul Mul Mul x0 x6 Mul x0 x6 sqrt Add 1 Mul -1 Pow Mul Mul x0 x6 Mul x0 x6 -1 -1 