atan Pow x1 tan Pow acot x6 Mul x0 -5 
Mul Mul Pow x1 Add tan Pow acot x6 Mul x0 -5 -1 Mul Mul x1 log x1 Mul Pow sec Pow acot x6 Mul x0 -5 2 Mul Pow acot x6 Add Mul x0 -5 -1 Mul Mul acot x6 log acot x6 -5 Pow Add 1 Mul Pow x1 tan Pow acot x6 Mul x0 -5 Pow x1 tan Pow acot x6 Mul x0 -5 -1 