Mul x0 Mul x0 asin Pow x0 cosh x0 
Add Mul x0 asin Pow x0 cosh x0 Mul x0 Add asin Pow x0 cosh x0 Mul x0 Mul Mul Pow x0 Add cosh x0 -1 Add cosh x0 Mul Mul x0 log x0 sinh x0 Pow sqrt Add 1 Mul -1 Mul Pow x0 cosh x0 Pow x0 cosh x0 -1 