Add -0.339836909454122 Mul Add asech sinh Mul x0 x0 -3 Pow asin x2 x0 
Add Mul Pow asin x2 x0 Mul Mul cosh Mul x0 x0 Add x0 x0 Pow Mul Mul sinh Mul x0 x0 sinh Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul sinh Mul x0 x0 sinh Mul x0 x0 -1 -1 Mul Add asech sinh Mul x0 x0 -3 Mul Pow asin x2 Add x0 -1 Mul asin x2 log asin x2 