atanh Pow Mul x0 Add Add x4 x0 tanh x0 acsc x3 
Mul Mul Pow Mul x0 Add Add x4 x0 tanh x0 Add acsc x3 -1 Mul acsc x3 Add Add Add x4 x0 tanh x0 Mul x0 Add 1 Pow sech x0 2 Pow Add 1 Mul -1 Mul Pow Mul x0 Add Add x4 x0 tanh x0 acsc x3 Pow Mul x0 Add Add x4 x0 tanh x0 acsc x3 -1 