cosh Mul Pow acot Mul x2 Add x0 4 Mul exp Mul acsch x2 -1 x0 sech sech cosh x1 
Mul sinh Mul Pow acot Mul x2 Add x0 4 Mul exp Mul acsch x2 -1 x0 sech sech cosh x1 Mul sech sech cosh x1 Mul Pow acot Mul x2 Add x0 4 Add Mul exp Mul acsch x2 -1 x0 -1 Add Mul Mul exp Mul acsch x2 -1 x0 Mul -1 Mul x2 Pow Add 1 Mul Mul x2 Add x0 4 Mul x2 Add x0 4 -1 Mul Mul acot Mul x2 Add x0 4 log acot Mul x2 Add x0 4 exp Mul acsch x2 -1 