Pow cosh Pow 4 x1 cos Mul asin x0 x0 
Mul Pow cosh Pow 4 x1 Add cos Mul asin x0 x0 -1 Mul Mul cosh Pow 4 x1 log cosh Pow 4 x1 Mul Mul -1 sin Mul asin x0 x0 Add Mul x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 asin x0 