Pow atan Mul Pow Pow Mul x6 acosh x2 x5 x0 x0 acoth pi 
Mul Pow atan Mul Pow Pow Mul x6 acosh x2 x5 x0 x0 Add acoth pi -1 Mul acoth pi Mul Add Mul x0 Mul Pow Pow Mul x6 acosh x2 x5 Add x0 -1 Mul Pow Mul x6 acosh x2 x5 log Pow Mul x6 acosh x2 x5 Pow Pow Mul x6 acosh x2 x5 x0 Pow Add 1 Mul Mul Pow Pow Mul x6 acosh x2 x5 x0 x0 Mul Pow Pow Mul x6 acosh x2 x5 x0 x0 -1 