Mul Pow Add Pow x7 Add E -1 2 Pow x7 Mul atanh acoth pi tanh x0 x4 
Mul x4 Mul Pow Add Pow x7 Add E -1 2 Add Pow x7 Mul atanh acoth pi tanh x0 -1 Mul Mul Add Pow x7 Add E -1 2 log Add Pow x7 Add E -1 2 Mul Pow x7 Add Mul atanh acoth pi tanh x0 -1 Mul Mul x7 log x7 Mul atanh acoth pi Pow sech x0 2 