Add acot Pow Add Pow x0 x1 Add x0 acot acos sech Mul E x4 Pow 3 log Mul sqrt x0 Mul x0 E x0 
Add Mul -1 Mul Mul Pow Add Pow x0 x1 Add x0 acot acos sech Mul E x4 Add Pow 3 log Mul sqrt x0 Mul x0 E -1 Add Mul Pow 3 log Mul sqrt x0 Mul x0 E Add Mul Pow x0 Add x1 -1 x1 1 Mul Mul Add Pow x0 x1 Add x0 acot acos sech Mul E x4 log Add Pow x0 x1 Add x0 acot acos sech Mul E x4 Mul Pow 3 Add log Mul sqrt x0 Mul x0 E -1 Mul 4.09861228866811 Mul Add Mul Mul x0 E Pow Mul 2 sqrt x0 -1 Mul sqrt x0 E Pow Mul sqrt x0 Mul x0 E -1 Pow Add 1 Mul Pow Add Pow x0 x1 Add x0 acot acos sech Mul E x4 Pow 3 log Mul sqrt x0 Mul x0 E Pow Add Pow x0 x1 Add x0 acot acos sech Mul E x4 Pow 3 log Mul sqrt x0 Mul x0 E -1 1 