Mul Pow cosh Mul x0 x0 sqrt Mul -1 x0 x5 
Mul x5 Mul Pow cosh Mul x0 x0 Add sqrt Mul -1 x0 -1 Add Mul sqrt Mul -1 x0 Mul sinh Mul x0 x0 Add x0 x0 Mul Mul cosh Mul x0 x0 log cosh Mul x0 x0 Mul Pow Mul 2 sqrt Mul -1 x0 -1 -1 