tan Mul tan Mul Mul x2 atan x0 csch sec Add E x0 -4 
Mul Pow sec Mul tan Mul Mul x2 atan x0 csch sec Add E x0 -4 2 Mul -4 Mul Pow sec Mul Mul x2 atan x0 csch sec Add E x0 2 Add Mul csch sec Add E x0 Mul x2 Pow Add 1 Mul x0 x0 -1 Mul Mul x2 atan x0 Mul Mul Mul -1 coth sec Add E x0 csch sec Add E x0 Mul tan Add E x0 sec Add E x0 