Mul Pow acoth x0 Mul x0 sech Mul x5 Add x0 x6 acot x0 
Add Mul acot x0 Mul Pow acoth x0 Add Mul x0 sech Mul x5 Add x0 x6 -1 Add Mul Mul x0 sech Mul x5 Add x0 x6 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acoth x0 log acoth x0 Add sech Mul x5 Add x0 x6 Mul x0 Mul Mul tanh Mul x5 Add x0 x6 Mul -1 sech Mul x5 Add x0 x6 x5 Mul Pow acoth x0 Mul x0 sech Mul x5 Add x0 x6 Mul -1 Pow Add 1 Mul x0 x0 -1 