Pow atan x4 Pow Add acosh x0 3 acosh Mul Pow x0 asec acoth sin Mul x5 x0 x0 
Mul Pow atan x4 Add Pow Add acosh x0 3 acosh Mul Pow x0 asec acoth sin Mul x5 x0 x0 -1 Mul Mul atan x4 log atan x4 Mul Pow Add acosh x0 3 Add acosh Mul Pow x0 asec acoth sin Mul x5 x0 x0 -1 Add Mul acosh Mul Pow x0 asec acoth sin Mul x5 x0 x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul Add acosh x0 3 log Add acosh x0 3 Mul Add Mul x0 Mul Pow x0 Add asec acoth sin Mul x5 x0 -1 Add asec acoth sin Mul x5 x0 Mul Mul x0 log x0 Mul Mul Mul cos Mul x5 x0 x5 Pow Add 1 Mul -1 Mul sin Mul x5 x0 sin Mul x5 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acoth sin Mul x5 x0 acoth sin Mul x5 x0 -1 acoth sin Mul x5 x0 acoth sin Mul x5 x0 -1 Pow x0 asec acoth sin Mul x5 x0 Pow Mul sqrt Add Mul Pow x0 asec acoth sin Mul x5 x0 x0 -1 sqrt Add 1 Mul Pow x0 asec acoth sin Mul x5 x0 x0 -1 