Mul Mul x0 Add Add x0 x0 asech Mul -0.958924274663138 Mul x0 Pow 3 Pow acot x2 x0 2 
Mul 2 Add Add Add x0 x0 asech Mul -0.958924274663138 Mul x0 Pow 3 Pow acot x2 x0 Mul x0 Add 2 Mul Mul -0.958924274663138 Add Pow 3 Pow acot x2 x0 Mul x0 Mul Pow 3 Add Pow acot x2 x0 -1 Mul 4.09861228866811 Mul Pow acot x2 Add x0 -1 Mul acot x2 log acot x2 Pow Mul Mul Mul -0.958924274663138 Mul x0 Pow 3 Pow acot x2 x0 Mul -0.958924274663138 Mul x0 Pow 3 Pow acot x2 x0 sqrt Add 1 Mul -1 Pow Mul Mul -0.958924274663138 Mul x0 Pow 3 Pow acot x2 x0 Mul -0.958924274663138 Mul x0 Pow 3 Pow acot x2 x0 -1 -1 