Add Add x0 Add csch E acos x0 Pow x3 Mul sqrt x0 Mul x4 x0 
Add Add 1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Pow x3 Add Mul sqrt x0 Mul x4 x0 -1 Mul Mul x3 log x3 Add Mul Mul x4 x0 Pow Mul 2 sqrt x0 -1 Mul sqrt x0 x4 