Pow Add Pow x0 asech Mul x4 x2 Add x0 Pow x0 asec acsch x0 x0 
Mul Pow Add Pow x0 asech Mul x4 x2 Add x0 Pow x0 asec acsch x0 Add x0 -1 Add Mul x0 Add Mul Pow x0 Add asech Mul x4 x2 -1 asech Mul x4 x2 Add 1 Mul Pow x0 Add asec acsch x0 -1 Add asec acsch x0 Mul Mul x0 log x0 Mul Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acsch x0 acsch x0 -1 acsch x0 acsch x0 -1 Mul Add Pow x0 asech Mul x4 x2 Add x0 Pow x0 asec acsch x0 log Add Pow x0 asech Mul x4 x2 Add x0 Pow x0 asec acsch x0 