cosh asech Pow Pow x4 x0 asin Mul x0 x1 
Mul sinh asech Pow Pow x4 x0 asin Mul x0 x1 Mul Mul Pow Pow x4 x0 Add asin Mul x0 x1 -1 Add Mul asin Mul x0 x1 Mul Pow x4 Add x0 -1 Mul x4 log x4 Mul Mul Pow x4 x0 log Pow x4 x0 Mul x1 Pow sqrt Add 1 Mul -1 Mul Mul x0 x1 Mul x0 x1 -1 Pow Mul Mul Pow Pow x4 x0 asin Mul x0 x1 Pow Pow x4 x0 asin Mul x0 x1 sqrt Add 1 Mul -1 Pow Mul Pow Pow x4 x0 asin Mul x0 x1 Pow Pow x4 x0 asin Mul x0 x1 -1 -1 