Mul Mul x0 Mul asin x0 E Pow Mul Add x1 Add x0 x3 Add x0 sec asin Mul Add x0 E Add x0 acsch x0 -1 
Add Mul Pow Mul Add x1 Add x0 x3 Add x0 sec asin Mul Add x0 E Add x0 acsch x0 -1 Add Mul asin x0 E Mul x0 Mul E Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul x0 Mul asin x0 E Mul Pow Mul Add x1 Add x0 x3 Add x0 sec asin Mul Add x0 E Add x0 acsch x0 2 Mul -1 Add Add x0 sec asin Mul Add x0 E Add x0 acsch x0 Mul Add x1 Add x0 x3 Add 1 Mul Mul tan asin Mul Add x0 E Add x0 acsch x0 sec asin Mul Add x0 E Add x0 acsch x0 Mul Add Add x0 acsch x0 Mul Add x0 E Add 1 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul Mul Add x0 E Add x0 acsch x0 Mul Add x0 E Add x0 acsch x0 -1 