Add Mul x6 pi Mul 0.321750554396642 Mul Mul 2.31243834127275 x0 Pow acsch E Add x0 Add x0 x1 
Mul 0.321750554396642 Add Mul Pow acsch E Add x0 Add x0 x1 2.31243834127275 Mul Mul 2.31243834127275 x0 Mul Pow acsch E Add Add x0 Add x0 x1 -1 Mul Mul acsch E log acsch E 2 