Mul atan asech Pow x0 acoth x5 -5 
Mul -5 Mul Mul Mul Pow x0 Add acoth x5 -1 acoth x5 Pow Mul Mul Pow x0 acoth x5 Pow x0 acoth x5 sqrt Add 1 Mul -1 Pow Mul Pow x0 acoth x5 Pow x0 acoth x5 -1 -1 Pow Add 1 Mul asech Pow x0 acoth x5 asech Pow x0 acoth x5 -1 