Mul Add x0 asin Mul x2 Add E x0 acot acoth Pow x0 E 
Add Mul acot acoth Pow x0 E Add 1 Mul x2 Pow sqrt Add 1 Mul -1 Mul Mul x2 Add E x0 Mul x2 Add E x0 -1 Mul Add x0 asin Mul x2 Add E x0 Mul -1 Mul Mul Mul Pow x0 Add E -1 E Pow Add 1 Mul -1 Mul Pow x0 E Pow x0 E -1 Pow Add 1 Mul acoth Pow x0 E acoth Pow x0 E -1 