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