Add Mul sinh x0 Mul asinh Mul x0 cosh x0 x6 Add x0 x0 
Add Add Mul Mul asinh Mul x0 cosh x0 x6 cosh x0 Mul sinh x0 Mul x6 Mul Add cosh x0 Mul x0 sinh x0 Pow sqrt Add 1 Mul Mul x0 cosh x0 Mul x0 cosh x0 -1 2 