Pow Pow asec x1 E acos Mul x0 Add x7 Add x0 acsch x0 
Mul Pow Pow asec x1 E Add acos Mul x0 Add x7 Add x0 acsch x0 -1 Mul Mul Pow asec x1 E log Pow asec x1 E Mul -1 Mul Add Add x7 Add x0 acsch x0 Mul x0 Add 1 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul Mul x0 Add x7 Add x0 acsch x0 Mul x0 Add x7 Add x0 acsch x0 -1 