sec Pow x4 Add x2 acsch x0 
Mul Mul tan Pow x4 Add x2 acsch x0 sec Pow x4 Add x2 acsch x0 Mul Pow x4 Add Add x2 acsch x0 -1 Mul Mul x4 log x4 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 