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