atan Mul acot x0 Pow acot Mul acosh x6 Add x0 Pow Mul x0 x5 pi x0 
Mul Add Mul Pow acot Mul acosh x6 Add x0 Pow Mul x0 x5 pi x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul Pow acot Mul acosh x6 Add x0 Pow Mul x0 x5 pi Add x0 -1 Add Mul x0 Mul -1 Mul Mul acosh x6 Add 1 Mul Pow Mul x0 x5 Add pi -1 Mul pi x5 Pow Add 1 Mul Mul acosh x6 Add x0 Pow Mul x0 x5 pi Mul acosh x6 Add x0 Pow Mul x0 x5 pi -1 Mul acot Mul acosh x6 Add x0 Pow Mul x0 x5 pi log acot Mul acosh x6 Add x0 Pow Mul x0 x5 pi Pow Add 1 Mul Mul acot x0 Pow acot Mul acosh x6 Add x0 Pow Mul x0 x5 pi x0 Mul acot x0 Pow acot Mul acosh x6 Add x0 Pow Mul x0 x5 pi x0 -1 