Mul x0 Mul Mul E asec Mul Mul x4 coth sqrt Pow E Add Mul pi 3 pi Mul x0 x7 x0 
Add Mul Mul E asec Mul Mul x4 coth sqrt Pow E Add Mul pi 3 pi Mul x0 x7 x0 Mul x0 Add Mul x0 Mul E Mul Mul Mul x4 coth sqrt Pow E Add Mul pi 3 pi x7 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Mul x4 coth sqrt Pow E Add Mul pi 3 pi Mul x0 x7 Mul Mul x4 coth sqrt Pow E Add Mul pi 3 pi Mul x0 x7 -1 Mul Mul x4 coth sqrt Pow E Add Mul pi 3 pi Mul x0 x7 Mul Mul x4 coth sqrt Pow E Add Mul pi 3 pi Mul x0 x7 -1 Mul E asec Mul Mul x4 coth sqrt Pow E Add Mul pi 3 pi Mul x0 x7 