Mul Add Pow Pow x0 Add x0 x0 Pow Mul Pow Mul E x0 Mul asech x1 2 x0 log x0 Pow acot x0 3 -1.44363547517881 
Mul -1.44363547517881 Add Mul Pow Pow x0 Add x0 x0 Add Pow Mul Pow Mul E x0 Mul asech x1 2 x0 log x0 -1 Add Mul Pow Mul Pow Mul E x0 Mul asech x1 2 x0 log x0 Mul Pow x0 Add Add x0 x0 -1 Add Add x0 x0 Mul Mul x0 log x0 2 Mul Mul Pow x0 Add x0 x0 log Pow x0 Add x0 x0 Mul Pow Mul Pow Mul E x0 Mul asech x1 2 x0 Add log x0 -1 Add Mul log x0 Add Mul x0 Mul Pow Mul E x0 Add Mul asech x1 2 -1 Mul Mul asech x1 2 E Pow Mul E x0 Mul asech x1 2 Mul Mul Mul Pow Mul E x0 Mul asech x1 2 x0 log Mul Pow Mul E x0 Mul asech x1 2 x0 Pow x0 -1 Mul Pow acot x0 2 Mul 3 Mul -1 Pow Add 1 Mul x0 x0 -1 