Mul asin Mul Mul x0 x4 x3 acot sinh x0 
Add Mul acot sinh x0 Mul Mul x3 x4 Pow sqrt Add 1 Mul -1 Mul Mul Mul x0 x4 x3 Mul Mul x0 x4 x3 -1 Mul asin Mul Mul x0 x4 x3 Mul -1 Mul cosh x0 Pow Add 1 Mul sinh x0 sinh x0 -1 