Mul cos Mul x1 4 Add Mul asin Mul x0 -2 atanh asech Mul E x0 x0 
Mul cos Mul x1 4 Add Add Mul atanh asech Mul E x0 Mul -2 Pow sqrt Add 1 Mul -1 Mul Mul x0 -2 Mul x0 -2 -1 Mul asin Mul x0 -2 Mul Mul E Pow Mul Mul Mul E x0 Mul E x0 sqrt Add 1 Mul -1 Pow Mul Mul E x0 Mul E x0 -1 -1 Pow Add 1 Mul -1 Mul asech Mul E x0 asech Mul E x0 -1 1 