Add x0 Mul asec x5 Add Mul Pow exp acot x3 x0 acot x0 Add Pow Mul 3 x0 -4 atan Pow x0 x0 
Add 1 Mul asec x5 Add Add Mul acot x0 Mul Pow exp acot x3 Add x0 -1 Mul exp acot x3 log exp acot x3 Mul Pow exp acot x3 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Add Pow Mul 3 x0 5 Mul Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Add 1 Mul Pow x0 x0 Pow x0 x0 -1 