atanh csch exp tan Mul acot Mul x4 x2 x0 
Mul Mul Mul Mul -1 coth exp tan Mul acot Mul x4 x2 x0 csch exp tan Mul acot Mul x4 x2 x0 Mul exp tan Mul acot Mul x4 x2 x0 Mul Pow sec Mul acot Mul x4 x2 x0 2 acot Mul x4 x2 Pow Add 1 Mul -1 Mul csch exp tan Mul acot Mul x4 x2 x0 csch exp tan Mul acot Mul x4 x2 x0 -1 