atanh Mul x6 Pow x0 acosh acoth acosh Add x7 pi 
Mul Mul x6 Mul Pow x0 Add acosh acoth acosh Add x7 pi -1 acosh acoth acosh Add x7 pi Pow Add 1 Mul -1 Mul Mul x6 Pow x0 acosh acoth acosh Add x7 pi Mul x6 Pow x0 acosh acoth acosh Add x7 pi -1 