sin Pow Pow x4 exp acot x0 atan Pow x0 x0 
Mul cos Pow Pow x4 exp acot x0 atan Pow x0 x0 Mul Pow Pow x4 exp acot x0 Add atan Pow x0 x0 -1 Add Mul atan Pow x0 x0 Mul Pow x4 Add exp acot x0 -1 Mul Mul x4 log x4 Mul exp acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul Pow x4 exp acot x0 log Pow x4 exp acot x0 Mul Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Add 1 Mul Pow x0 x0 Pow x0 x0 -1 