Add Pow x0 Pow Add x0 x0 x2 Add sec Pow x0 acsch Mul x1 1.24904577239825 x0 
Add Mul Pow x0 Add Pow Add x0 x0 x2 -1 Add Pow Add x0 x0 x2 Mul Mul x0 log x0 Mul Pow Add x0 x0 Add x2 -1 Mul x2 2 Add Mul Mul tan Pow x0 acsch Mul x1 1.24904577239825 sec Pow x0 acsch Mul x1 1.24904577239825 Mul Pow x0 Add acsch Mul x1 1.24904577239825 -1 acsch Mul x1 1.24904577239825 1 