Pow x0 Add Mul x0 Mul log x0 x6 Mul Mul x0 pi Add acsch Mul 4 atan x0 5 
Mul Pow x0 Add Add Mul x0 Mul log x0 x6 Mul Mul x0 pi Add acsch Mul 4 atan x0 5 -1 Add Add Mul x0 Mul log x0 x6 Mul Mul x0 pi Add acsch Mul 4 atan x0 5 Mul Mul x0 log x0 Add Add Mul log x0 x6 Mul x0 Mul x6 Pow x0 -1 Add Mul Add acsch Mul 4 atan x0 5 pi Mul Mul x0 pi Mul Mul -1 Mul 4 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul Mul 4 atan x0 Mul 4 atan x0 sqrt Add 1 Mul -1 Pow Mul Mul 4 atan x0 Mul 4 atan x0 -1 -1 