Add atanh Mul x0 Pow Mul -4 E x0 Add x0 acsch Pow Mul x0 4 x1 
Add Mul Add Pow Mul -4 E x0 Mul x0 Mul Pow Mul -4 E Add x0 -1 Mul Mul -4 E log Mul -4 E Pow Add 1 Mul -1 Mul Mul x0 Pow Mul -4 E x0 Mul x0 Pow Mul -4 E x0 -1 Add 1 Mul Mul -1 Mul Pow Mul x0 4 Add x1 -1 Mul x1 4 Pow Mul Mul Pow Mul x0 4 x1 Pow Mul x0 4 x1 sqrt Add 1 Mul -1 Pow Mul Pow Mul x0 4 x1 Pow Mul x0 4 x1 -1 -1 