Add sec Mul Pow x0 x0 x0 Add x7 Add 2.23606797749979 exp exp atanh Pow Add acot x0 x0 Add Add x0 E -4 
Add Mul Mul tan Mul Pow x0 x0 x0 sec Mul Pow x0 x0 x0 Add Mul x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow x0 x0 Mul exp exp atanh Pow Add acot x0 x0 Add Add x0 E -4 Mul exp atanh Pow Add acot x0 x0 Add Add x0 E -4 Mul Mul Pow Add acot x0 x0 Add Add Add x0 E -4 -1 Add Mul Add Add x0 E -4 Add Mul -1 Pow Add 1 Mul x0 x0 -1 1 Mul Add acot x0 x0 log Add acot x0 x0 Pow Add 1 Mul -1 Mul Pow Add acot x0 x0 Add Add x0 E -4 Pow Add acot x0 x0 Add Add x0 E -4 -1 