exp asech Mul Pow acot x7 Add Mul x0 x0 x1 x6 
Mul exp asech Mul Pow acot x7 Add Mul x0 x0 x1 x6 Mul Mul x6 Mul Pow acot x7 Add Add Mul x0 x0 x1 -1 Mul Mul acot x7 log acot x7 Add x0 x0 Pow Mul Mul Mul Pow acot x7 Add Mul x0 x0 x1 x6 Mul Pow acot x7 Add Mul x0 x0 x1 x6 sqrt Add 1 Mul -1 Pow Mul Mul Pow acot x7 Add Mul x0 x0 x1 x6 Mul Pow acot x7 Add Mul x0 x0 x1 x6 -1 -1 