Add Add Mul atan x0 x0 Add E x0 Pow Mul acsch Mul pi Mul x0 acot Mul x5 x0 x4 pi 
Add Add Add Mul x0 Pow Add 1 Mul x0 x0 -1 atan x0 1 Mul Pow Mul acsch Mul pi Mul x0 acot Mul x5 x0 x4 Add pi -1 Mul pi Mul x4 Mul Mul -1 Mul pi Add acot Mul x5 x0 Mul x0 Mul -1 Mul x5 Pow Add 1 Mul Mul x5 x0 Mul x5 x0 -1 Pow Mul Mul Mul pi Mul x0 acot Mul x5 x0 Mul pi Mul x0 acot Mul x5 x0 sqrt Add 1 Mul -1 Pow Mul Mul pi Mul x0 acot Mul x5 x0 Mul pi Mul x0 acot Mul x5 x0 -1 -1 