Pow Mul x7 Pow Mul x7 Add 1 x0 Pow x0 pi exp Pow 2 csch E 
Mul Pow Mul x7 Pow Mul x7 Add 1 x0 Pow x0 pi Add exp Pow 2 csch E -1 Mul exp Pow 2 csch E Mul x7 Mul Pow Mul x7 Add 1 x0 Add Pow x0 pi -1 Add Mul Pow x0 pi x7 Mul Mul Mul x7 Add 1 x0 log Mul x7 Add 1 x0 Mul Pow x0 Add pi -1 pi 