atanh Pow Pow x0 sech acosh asech x7 2 
Mul Mul Pow x0 sech acosh asech x7 Mul 2 Mul Pow x0 Add sech acosh asech x7 -1 sech acosh asech x7 Pow Add 1 Mul -1 Mul Pow Pow x0 sech acosh asech x7 2 Pow Pow x0 sech acosh asech x7 2 -1 