Add Pow Add x0 Pow sec Mul x0 Pow cot E exp x0 x3 Mul cosh Mul x0 x0 x4 atan cosh x0 
Add Mul Pow Add x0 Pow sec Mul x0 Pow cot E exp x0 x3 Add Mul cosh Mul x0 x0 x4 -1 Add Mul Mul cosh Mul x0 x0 x4 Add 1 Mul Pow sec Mul x0 Pow cot E exp x0 Add x3 -1 Mul x3 Mul Mul tan Mul x0 Pow cot E exp x0 sec Mul x0 Pow cot E exp x0 Add Pow cot E exp x0 Mul x0 Mul Pow cot E Add exp x0 -1 Mul Mul cot E log cot E exp x0 Mul Mul Add x0 Pow sec Mul x0 Pow cot E exp x0 x3 log Add x0 Pow sec Mul x0 Pow cot E exp x0 x3 Mul x4 Mul sinh Mul x0 x0 Add x0 x0 Mul sinh x0 Pow Add 1 Mul cosh x0 cosh x0 -1 