Mul acot pi Mul x0 sin Add acosh x0 Pow x5 tan Pow x0 -2 
Mul acot pi Add sin Add acosh x0 Pow x5 tan Pow x0 -2 Mul x0 Mul cos Add acosh x0 Pow x5 tan Pow x0 -2 Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Pow x5 Add tan Pow x0 -2 -1 Mul Mul x5 log x5 Mul Pow sec Pow x0 -2 2 Mul Pow x0 3 -2 