exp log Pow sec Mul Pow x0 5 x6 acosh Add acsch x0 x0 
Mul exp log Pow sec Mul Pow x0 5 x6 acosh Add acsch x0 x0 Mul Mul Pow sec Mul Pow x0 5 x6 Add acosh Add acsch x0 x0 -1 Add Mul acosh Add acsch x0 x0 Mul Mul tan Mul Pow x0 5 x6 sec Mul Pow x0 5 x6 Mul x6 Mul Pow x0 4 5 Mul Mul sec Mul Pow x0 5 x6 log sec Mul Pow x0 5 x6 Mul Add Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 1 Pow Mul sqrt Add Add acsch x0 x0 -1 sqrt Add 1 Add acsch x0 x0 -1 Pow Pow sec Mul Pow x0 5 x6 acosh Add acsch x0 x0 -1 