atanh Add Pow asec sech x1 -5 Pow Add Mul x0 Add Mul csc x6 x4 acot x2 Mul E x5 Pow Mul x0 E x5 
Mul Mul Pow Add Mul x0 Add Mul csc x6 x4 acot x2 Mul E x5 Add Pow Mul x0 E x5 -1 Add Mul Pow Mul x0 E x5 Add Mul csc x6 x4 acot x2 Mul Mul Add Mul x0 Add Mul csc x6 x4 acot x2 Mul E x5 log Add Mul x0 Add Mul csc x6 x4 acot x2 Mul E x5 Mul Pow Mul x0 E Add x5 -1 Mul x5 E Pow Add 1 Mul -1 Mul Add Pow asec sech x1 -5 Pow Add Mul x0 Add Mul csc x6 x4 acot x2 Mul E x5 Pow Mul x0 E x5 Add Pow asec sech x1 -5 Pow Add Mul x0 Add Mul csc x6 x4 acot x2 Mul E x5 Pow Mul x0 E x5 -1 