exp Pow x0 Pow x0 Mul acosh csch pi Add x7 atanh x6 
Mul exp Pow x0 Pow x0 Mul acosh csch pi Add x7 atanh x6 Mul Pow x0 Add Pow x0 Mul acosh csch pi Add x7 atanh x6 -1 Add Pow x0 Mul acosh csch pi Add x7 atanh x6 Mul Mul x0 log x0 Mul Pow x0 Add Mul acosh csch pi Add x7 atanh x6 -1 Mul acosh csch pi Add x7 atanh x6 