Mul x7 Mul acot Add x0 pi Add -5 acos Pow acsch x4 x0 
Mul x7 Add Mul Add -5 acos Pow acsch x4 x0 Mul -1 Pow Add 1 Mul Add x0 pi Add x0 pi -1 Mul acot Add x0 pi Mul -1 Mul Mul Pow acsch x4 Add x0 -1 Mul acsch x4 log acsch x4 Pow sqrt Add 1 Mul -1 Mul Pow acsch x4 x0 Pow acsch x4 x0 -1 