Add Pow x2 x0 Pow x5 acosh acot Pow Add Pow x1 x0 Mul x0 asec acoth Mul x4 2 x0 
Add Mul Pow x2 Add x0 -1 Mul x2 log x2 Mul Pow x5 Add acosh acot Pow Add Pow x1 x0 Mul x0 asec acoth Mul x4 2 x0 -1 Mul Mul x5 log x5 Mul Mul -1 Mul Mul Pow Add Pow x1 x0 Mul x0 asec acoth Mul x4 2 Add x0 -1 Add Mul x0 Add Mul Pow x1 Add x0 -1 Mul x1 log x1 asec acoth Mul x4 2 Mul Add Pow x1 x0 Mul x0 asec acoth Mul x4 2 log Add Pow x1 x0 Mul x0 asec acoth Mul x4 2 Pow Add 1 Mul Pow Add Pow x1 x0 Mul x0 asec acoth Mul x4 2 x0 Pow Add Pow x1 x0 Mul x0 asec acoth Mul x4 2 x0 -1 Pow Mul sqrt Add acot Pow Add Pow x1 x0 Mul x0 asec acoth Mul x4 2 x0 -1 sqrt Add 1 acot Pow Add Pow x1 x0 Mul x0 asec acoth Mul x4 2 x0 -1 