Pow Add Pow log x0 x0 Mul acot x0 Pow Pow x0 pi acosh x5 Add x0 x0 
Mul Pow Add Pow log x0 x0 Mul acot x0 Pow Pow x0 pi acosh x5 Add Add x0 x0 -1 Add Mul Add x0 x0 Add Mul Pow log x0 Add x0 -1 Add Mul x0 Pow x0 -1 Mul log x0 log log x0 Add Mul Pow Pow x0 pi acosh x5 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul Pow Pow x0 pi Add acosh x5 -1 Mul acosh x5 Mul Pow x0 Add pi -1 pi Mul Mul Add Pow log x0 x0 Mul acot x0 Pow Pow x0 pi acosh x5 log Add Pow log x0 x0 Mul acot x0 Pow Pow x0 pi acosh x5 2 