acsch acosh Pow log x0 csc acos Add x1 4 
Mul Mul -1 Mul Mul Pow log x0 Add csc acos Add x1 4 -1 Mul csc acos Add x1 4 Pow x0 -1 Pow Mul sqrt Add Pow log x0 csc acos Add x1 4 -1 sqrt Add 1 Pow log x0 csc acos Add x1 4 -1 Pow Mul Mul acosh Pow log x0 csc acos Add x1 4 acosh Pow log x0 csc acos Add x1 4 sqrt Add 1 Mul -1 Pow Mul acosh Pow log x0 csc acos Add x1 4 acosh Pow log x0 csc acos Add x1 4 -1 -1 