sqrt Mul Mul pi acosh Mul 2 cos Pow x1 x0 x1 
Mul Pow Mul 2 sqrt Mul Mul pi acosh Mul 2 cos Pow x1 x0 x1 -1 Mul x1 Mul pi Mul Mul 2 Mul Mul -1 sin Pow x1 x0 Mul Pow x1 Add x0 -1 Mul x1 log x1 Pow Mul sqrt Add Mul 2 cos Pow x1 x0 -1 sqrt Add 1 Mul 2 cos Pow x1 x0 -1 