asec Pow Add Mul x0 pi Add -5 x0 Mul x0 csch x3 
Mul Mul Pow Add Mul x0 pi Add -5 x0 Add Mul x0 csch x3 -1 Add Mul Mul x0 csch x3 Add pi 1 Mul Mul Add Mul x0 pi Add -5 x0 log Add Mul x0 pi Add -5 x0 csch x3 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Add Mul x0 pi Add -5 x0 Mul x0 csch x3 Pow Add Mul x0 pi Add -5 x0 Mul x0 csch x3 -1 Pow Add Mul x0 pi Add -5 x0 Mul x0 csch x3 Pow Add Mul x0 pi Add -5 x0 Mul x0 csch x3 -1 