Add acsc x5 Mul atanh Add -4 x0 Pow x0 cosh tan Mul x0 E 
Add Mul Pow x0 cosh tan Mul x0 E Pow Add 1 Mul -1 Mul Add -4 x0 Add -4 x0 -1 Mul atanh Add -4 x0 Mul Pow x0 Add cosh tan Mul x0 E -1 Add cosh tan Mul x0 E Mul Mul x0 log x0 Mul sinh tan Mul x0 E Mul Pow sec Mul x0 E 2 E 