atan Mul Add acoth cot Mul x7 2 acosh x2 Add x0 x0 
Mul Mul Add acoth cot Mul x7 2 acosh x2 2 Pow Add 1 Mul Mul Add acoth cot Mul x7 2 acosh x2 Add x0 x0 Mul Add acoth cot Mul x7 2 acosh x2 Add x0 x0 -1 