Pow x0 Mul x5 Add x3 Pow acosh x0 acot pi 
Mul Pow x0 Add Mul x5 Add x3 Pow acosh x0 acot pi -1 Add Mul x5 Add x3 Pow acosh x0 acot pi Mul Mul x0 log x0 Mul x5 Mul Pow acosh x0 Add acot pi -1 Mul acot pi Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 