Mul Pow cosh Pow x0 cot x3 tanh x0 x0 
Add Mul x0 Mul Pow cosh Pow x0 cot x3 Add tanh x0 -1 Add Mul tanh x0 Mul sinh Pow x0 cot x3 Mul Pow x0 Add cot x3 -1 cot x3 Mul Mul cosh Pow x0 cot x3 log cosh Pow x0 cot x3 Pow sech x0 2 Pow cosh Pow x0 cot x3 tanh x0 