Mul Pow exp x0 Add pi 2 Mul -4 Pow acsch cos x6 Mul Add Pow x1 Mul E x3 x0 x0 
Add Mul Mul -4 Pow acsch cos x6 Mul Add Pow x1 Mul E x3 x0 x0 Mul Pow exp x0 Add Add pi 2 -1 Mul Add pi 2 exp x0 Mul Pow exp x0 Add pi 2 Mul -4 Mul Pow acsch cos x6 Add Mul Add Pow x1 Mul E x3 x0 x0 -1 Mul Mul acsch cos x6 log acsch cos x6 Add x0 Add Pow x1 Mul E x3 x0 