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