Add asech acos x0 Mul Add Add asech asech asin acoth x0 Add x1 x0 x3 -4 
Add Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul acos x0 acos x0 sqrt Add 1 Mul -1 Pow Mul acos x0 acos x0 -1 -1 Mul -4 Add Mul Mul Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acoth x0 acoth x0 -1 Pow Mul Mul asin acoth x0 asin acoth x0 sqrt Add 1 Mul -1 Pow Mul asin acoth x0 asin acoth x0 -1 -1 Pow Mul Mul asech asin acoth x0 asech asin acoth x0 sqrt Add 1 Mul -1 Pow Mul asech asin acoth x0 asech asin acoth x0 -1 -1 1 