Add -3 Pow Mul Pow Mul cosh x0 x4 x0 Mul -2 x2 asin x0 
Mul Pow Mul Pow Mul cosh x0 x4 x0 Mul -2 x2 Add asin x0 -1 Add Mul asin x0 Mul Mul -2 x2 Mul Pow Mul cosh x0 x4 Add x0 -1 Add Mul x0 Mul x4 sinh x0 Mul Mul cosh x0 x4 log Mul cosh x0 x4 Mul Mul Mul Pow Mul cosh x0 x4 x0 Mul -2 x2 log Mul Pow Mul cosh x0 x4 x0 Mul -2 x2 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 