Mul cosh Pow x0 Add 4 Add cot x5 x0 sech x0 
Add Mul sech x0 Mul sinh Pow x0 Add 4 Add cot x5 x0 Mul Pow x0 Add Add 4 Add cot x5 x0 -1 Add Add 4 Add cot x5 x0 Mul x0 log x0 Mul cosh Pow x0 Add 4 Add cot x5 x0 Mul tanh x0 Mul -1 sech x0 