acot Mul 1.60943791243410 asin sqrt Mul Mul x4 Add 2 x0 E 
Mul -1 Mul Mul 1.60943791243410 Mul Mul Pow Mul 2 sqrt Mul Mul x4 Add 2 x0 E -1 Mul E x4 Pow sqrt Add 1 Mul -1 Mul sqrt Mul Mul x4 Add 2 x0 E sqrt Mul Mul x4 Add 2 x0 E -1 Pow Add 1 Mul Mul 1.60943791243410 asin sqrt Mul Mul x4 Add 2 x0 E Mul 1.60943791243410 asin sqrt Mul Mul x4 Add 2 x0 E -1 