Add Mul x0 acot Mul Add Add x6 1 Pow Pow exp Pow log x5 x0 4 x7 Mul x0 x0 asec Mul 3 x3 
Add acot Mul Add Add x6 1 Pow Pow exp Pow log x5 x0 4 x7 Mul x0 x0 Mul x0 Mul -1 Mul Add Mul Mul x0 x0 Mul Pow Pow exp Pow log x5 x0 4 Add x7 -1 Mul x7 Mul Pow exp Pow log x5 x0 3 Mul 4 Mul exp Pow log x5 x0 Mul Pow log x5 Add x0 -1 Mul log x5 log log x5 Mul Add Add x6 1 Pow Pow exp Pow log x5 x0 4 x7 Add x0 x0 Pow Add 1 Mul Mul Add Add x6 1 Pow Pow exp Pow log x5 x0 4 x7 Mul x0 x0 Mul Add Add x6 1 Pow Pow exp Pow log x5 x0 4 x7 Mul x0 x0 -1 