Mul x0 asin Mul Add Add E Add -1 Add acos Mul x0 E x0 coth acot x4 acot Add -4 x4 
Add asin Mul Add Add E Add -1 Add acos Mul x0 E x0 coth acot x4 acot Add -4 x4 Mul x0 Mul Mul acot Add -4 x4 Add Mul -1 Mul E Pow sqrt Add 1 Mul -1 Mul Mul x0 E Mul x0 E -1 1 Pow sqrt Add 1 Mul -1 Mul Mul Add Add E Add -1 Add acos Mul x0 E x0 coth acot x4 acot Add -4 x4 Mul Add Add E Add -1 Add acos Mul x0 E x0 coth acot x4 acot Add -4 x4 -1 