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