Mul Pow E Pow Mul E acosh x4 Mul log x0 x0 Pow x0 Add Pow Pow Mul Add 1 acot x5 4 x6 Mul x0 pi 1 
Add Mul Pow x0 Add Pow Pow Mul Add 1 acot x5 4 x6 Mul x0 pi 1 Mul Pow E Add Pow Mul E acosh x4 Mul log x0 x0 -1 Mul Mul E log E Mul Pow Mul E acosh x4 Add Mul log x0 x0 -1 Mul Mul Mul E acosh x4 log Mul E acosh x4 Add Mul x0 Pow x0 -1 log x0 Mul Pow E Pow Mul E acosh x4 Mul log x0 x0 Mul Pow x0 Add Add Pow Pow Mul Add 1 acot x5 4 x6 Mul x0 pi 1 -1 Add Add Pow Pow Mul Add 1 acot x5 4 x6 Mul x0 pi 1 Mul Mul x0 log x0 Mul Pow Pow Mul Add 1 acot x5 4 x6 Add Mul x0 pi -1 Mul Mul Pow Mul Add 1 acot x5 4 x6 log Pow Mul Add 1 acot x5 4 x6 pi 