Mul Mul x5 Add Mul Mul 7 x0 x0 pi Pow Add -3 x5 acot Mul acosh pi x0 
Add Mul Pow Add -3 x5 acot Mul acosh pi x0 Mul x5 Add Mul x0 7 Mul 7 x0 Mul Mul x5 Add Mul Mul 7 x0 x0 pi Mul Pow Add -3 x5 Add acot Mul acosh pi x0 -1 Mul Mul Add -3 x5 log Add -3 x5 Mul -1 Mul acosh pi Pow Add 1 Mul Mul acosh pi x0 Mul acosh pi x0 -1 