Add Mul x0 tan Pow acot x7 atan x3 atanh Mul Mul x7 x0 Mul Pow -4 x4 x0 
Add tan Pow acot x7 atan x3 Mul Add Mul Mul Pow -4 x4 x0 x7 Mul Mul x7 x0 Pow -4 x4 Pow Add 1 Mul -1 Mul Mul Mul x7 x0 Mul Pow -4 x4 x0 Mul Mul x7 x0 Mul Pow -4 x4 x0 -1 