tanh Pow Mul x0 x0 cos Mul cosh x3 x0 
Mul Pow sech Pow Mul x0 x0 cos Mul cosh x3 x0 2 Mul Pow Mul x0 x0 Add cos Mul cosh x3 x0 -1 Add Mul cos Mul cosh x3 x0 Add x0 x0 Mul Mul Mul x0 x0 log Mul x0 x0 Mul Mul -1 sin Mul cosh x3 x0 cosh x3 