Add Mul x3 E Pow x0 Add acot cosh Mul x0 x0 E 
Mul Pow x0 Add Add acot cosh Mul x0 x0 E -1 Add Add acot cosh Mul x0 x0 E Mul Mul x0 log x0 Mul -1 Mul Mul sinh Mul x0 x0 Add x0 x0 Pow Add 1 Mul cosh Mul x0 x0 cosh Mul x0 x0 -1 