atan Add 1 Mul Add x0 acsch Pow x0 sqrt x1 -4 
Mul Mul -4 Add 1 Mul Mul -1 Mul Pow x0 Add sqrt x1 -1 sqrt x1 Pow Mul Mul Pow x0 sqrt x1 Pow x0 sqrt x1 sqrt Add 1 Mul -1 Pow Mul Pow x0 sqrt x1 Pow x0 sqrt x1 -1 -1 Pow Add 1 Mul Add 1 Mul Add x0 acsch Pow x0 sqrt x1 -4 Add 1 Mul Add x0 acsch Pow x0 sqrt x1 -4 -1 