Pow Add Add x0 x0 Mul x0 x7 Add Pow x6 Pow Pow x7 x6 Add Pow Pow acsch x0 x0 x0 acos x3 1 
Mul Pow Add Add x0 x0 Mul x0 x7 Add Add Pow x6 Pow Pow x7 x6 Add Pow Pow acsch x0 x0 x0 acos x3 1 -1 Add Mul Add Pow x6 Pow Pow x7 x6 Add Pow Pow acsch x0 x0 x0 acos x3 1 Add 2 x7 Mul Mul Add Add x0 x0 Mul x0 x7 log Add Add x0 x0 Mul x0 x7 Mul Pow x6 Add Pow Pow x7 x6 Add Pow Pow acsch x0 x0 x0 acos x3 -1 Mul Mul x6 log x6 Mul Pow Pow x7 x6 Add Add Pow Pow acsch x0 x0 x0 acos x3 -1 Mul Mul Pow x7 x6 log Pow x7 x6 Mul Pow Pow acsch x0 x0 Add x0 -1 Add Mul x0 Mul Pow acsch x0 Add x0 -1 Add Mul x0 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul acsch x0 log acsch x0 Mul Pow acsch x0 x0 log Pow acsch x0 x0 