Mul -2 Pow acsc Mul acsch Mul acos Add Mul -3 x0 x0 pi -1 Mul x7 x0 
Mul -2 Mul Pow acsc Mul acsch Mul acos Add Mul -3 x0 x0 pi -1 Add Mul x7 x0 -1 Add Mul Mul x7 x0 Mul -1 Mul Mul -1 Mul Mul -1 Mul pi Mul -1 Mul 2 Pow sqrt Add 1 Mul -1 Mul Add Mul -3 x0 x0 Add Mul -3 x0 x0 -1 Pow Mul Mul Mul acos Add Mul -3 x0 x0 pi Mul acos Add Mul -3 x0 x0 pi sqrt Add 1 Mul -1 Pow Mul Mul acos Add Mul -3 x0 x0 pi Mul acos Add Mul -3 x0 x0 pi -1 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul acsch Mul acos Add Mul -3 x0 x0 pi -1 Mul acsch Mul acos Add Mul -3 x0 x0 pi -1 -1 Mul acsch Mul acos Add Mul -3 x0 x0 pi -1 Mul acsch Mul acos Add Mul -3 x0 x0 pi -1 -1 Mul Mul acsc Mul acsch Mul acos Add Mul -3 x0 x0 pi -1 log acsc Mul acsch Mul acos Add Mul -3 x0 x0 pi -1 x7 