sech Pow Mul x0 5 Pow x7 Add atanh x0 pi 
Mul Mul tanh Pow Mul x0 5 Pow x7 Add atanh x0 pi Mul -1 sech Pow Mul x0 5 Pow x7 Add atanh x0 pi Mul Pow Mul x0 5 Add Pow x7 Add atanh x0 pi -1 Add Mul Pow x7 Add atanh x0 pi 5 Mul Mul Mul x0 5 log Mul x0 5 Mul Pow x7 Add Add atanh x0 pi -1 Mul Mul x7 log x7 Pow Add 1 Mul -1 Mul x0 x0 -1 