Add acsch x4 Add Add Pow Mul x0 x5 pi Pow log Add acot Add x0 E csch x1 Mul -5 Mul 5 x0 x0 
Add Add Mul Pow Mul x0 x5 Add pi -1 Mul pi x5 Mul Pow log Add acot Add x0 E csch x1 Add Mul -5 Mul 5 x0 -1 Mul Mul -5 Mul 5 x0 Mul Mul -1 Pow Add 1 Mul Add x0 E Add x0 E -1 Pow Add acot Add x0 E csch x1 -1 1 