atanh Add Mul Mul asech x0 Pow Pow acsc E 4 -3 acsch x7 Add x0 2 
Mul Add Mul acsch x7 Mul Pow Pow acsc E 4 -3 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 1 Pow Add 1 Mul -1 Mul Add Mul Mul asech x0 Pow Pow acsc E 4 -3 acsch x7 Add x0 2 Add Mul Mul asech x0 Pow Pow acsc E 4 -3 acsch x7 Add x0 2 -1 