Pow Mul E Add x0 x0 Mul Pow acot Pow Mul x2 x3 -4 acosh x0 Add Add 1 x2 x0 
Mul Pow Mul E Add x0 x0 Add Mul Pow acot Pow Mul x2 x3 -4 acosh x0 Add Add 1 x2 x0 -1 Add Mul Mul Pow acot Pow Mul x2 x3 -4 acosh x0 Add Add 1 x2 x0 Mul E 2 Mul Mul Mul E Add x0 x0 log Mul E Add x0 x0 Add Mul Add Add 1 x2 x0 Mul Pow acot Pow Mul x2 x3 -4 Add acosh x0 -1 Mul Mul acot Pow Mul x2 x3 -4 log acot Pow Mul x2 x3 -4 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow acot Pow Mul x2 x3 -4 acosh x0 