Mul x0 Pow exp acoth asec Mul Add x0 x0 x7 x0 
Add Pow exp acoth asec Mul Add x0 x0 x7 x0 Mul x0 Mul Pow exp acoth asec Mul Add x0 x0 x7 Add x0 -1 Add Mul x0 Mul exp acoth asec Mul Add x0 x0 x7 Mul Mul Mul x7 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Add x0 x0 x7 Mul Add x0 x0 x7 -1 Mul Add x0 x0 x7 Mul Add x0 x0 x7 -1 Pow Add 1 Mul -1 Mul asec Mul Add x0 x0 x7 asec Mul Add x0 x0 x7 -1 Mul exp acoth asec Mul Add x0 x0 x7 log exp acoth asec Mul Add x0 x0 x7 