Mul Pow sqrt Mul x2 E Add Mul Add x0 csc x0 Add 4 pi Add Mul x0 cosh x6 csc x0 Mul -5 x0 
Add Mul Mul -5 x0 Mul Pow sqrt Mul x2 E Add Add Mul Add x0 csc x0 Add 4 pi Add Mul x0 cosh x6 csc x0 -1 Mul Mul sqrt Mul x2 E log sqrt Mul x2 E Add Mul Add 4 pi Add 1 Mul Mul -1 cot x0 csc x0 Add cosh x6 Mul Mul -1 cot x0 csc x0 Mul Pow sqrt Mul x2 E Add Mul Add x0 csc x0 Add 4 pi Add Mul x0 cosh x6 csc x0 -5 