cosh Mul Mul Add Pow E Add x0 x0 16 Pow acoth E Mul x0 x0 x0 
Mul sinh Mul Mul Add Pow E Add x0 x0 16 Pow acoth E Mul x0 x0 x0 Add Mul x0 Add Mul Pow acoth E Mul x0 x0 Mul Pow E Add Add x0 x0 -1 Mul Mul E log E 2 Mul Add Pow E Add x0 x0 16 Mul Pow acoth E Add Mul x0 x0 -1 Mul Mul acoth E log acoth E Add x0 x0 Mul Add Pow E Add x0 x0 16 Pow acoth E Mul x0 x0 