Pow x0 log Mul Mul x0 tan atan x1 x0 
Mul Pow x0 Add log Mul Mul x0 tan atan x1 x0 -1 Add log Mul Mul x0 tan atan x1 x0 Mul Mul x0 log x0 Mul Add Mul x0 tan atan x1 Mul x0 tan atan x1 Pow Mul Mul x0 tan atan x1 x0 -1 