Add Mul Add Pow acsch x7 x0 x0 acsch asin Add Mul x3 Pow x0 Add x1 Add acos x0 x0 x3 -1 
Add Mul acsch asin Add Mul x3 Pow x0 Add x1 Add acos x0 x0 x3 Add Mul Pow acsch x7 Add x0 -1 Mul acsch x7 log acsch x7 1 Mul Add Pow acsch x7 x0 x0 Mul Mul -1 Mul Mul x3 Mul Pow x0 Add Add x1 Add acos x0 x0 -1 Add Add x1 Add acos x0 x0 Mul Mul x0 log x0 Add Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 Pow sqrt Add 1 Mul -1 Mul Add Mul x3 Pow x0 Add x1 Add acos x0 x0 x3 Add Mul x3 Pow x0 Add x1 Add acos x0 x0 x3 -1 Pow Mul Mul asin Add Mul x3 Pow x0 Add x1 Add acos x0 x0 x3 asin Add Mul x3 Pow x0 Add x1 Add acos x0 x0 x3 sqrt Add 1 Mul -1 Pow Mul asin Add Mul x3 Pow x0 Add x1 Add acos x0 x0 x3 asin Add Mul x3 Pow x0 Add x1 Add acos x0 x0 x3 -1 -1 