Mul x5 Add E Pow acot x0 Mul Pow pi Mul -1 x4 Add 4 acsch Mul Mul x2 asinh Add Pow x0 E Mul x3 x0 pi 
Mul x5 Mul Pow acot x0 Add Mul Pow pi Mul -1 x4 Add 4 acsch Mul Mul x2 asinh Add Pow x0 E Mul x3 x0 pi -1 Add Mul Mul Pow pi Mul -1 x4 Add 4 acsch Mul Mul x2 asinh Add Pow x0 E Mul x3 x0 pi Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Mul Pow pi Mul -1 x4 Mul Mul -1 Mul pi Mul x2 Mul Add Mul Pow x0 Add E -1 E x3 Pow sqrt Add 1 Mul Add Pow x0 E Mul x3 x0 Add Pow x0 E Mul x3 x0 -1 Pow Mul Mul Mul Mul x2 asinh Add Pow x0 E Mul x3 x0 pi Mul Mul x2 asinh Add Pow x0 E Mul x3 x0 pi sqrt Add 1 Mul -1 Pow Mul Mul Mul x2 asinh Add Pow x0 E Mul x3 x0 pi Mul Mul x2 asinh Add Pow x0 E Mul x3 x0 pi -1 -1 