Mul Mul x0 -5 Add Pow acoth Pow x0 csc cbrt acos x4 Add exp x0 x1 Add -2 Mul Add x6 x7 pi 
Add Mul Add Pow acoth Pow x0 csc cbrt acos x4 Add exp x0 x1 Add -2 Mul Add x6 x7 pi -5 Mul Mul x0 -5 Mul Pow acoth Pow x0 csc cbrt acos x4 Add Add exp x0 x1 -1 Add Mul Add exp x0 x1 Mul Mul Pow x0 Add csc cbrt acos x4 -1 csc cbrt acos x4 Pow Add 1 Mul -1 Mul Pow x0 csc cbrt acos x4 Pow x0 csc cbrt acos x4 -1 Mul Mul acoth Pow x0 csc cbrt acos x4 log acoth Pow x0 csc cbrt acos x4 exp x0 