Add csch x7 Pow exp x0 asec Add x0 Add -1 Mul x0 pi 
Mul Pow exp x0 Add asec Add x0 Add -1 Mul x0 pi -1 Add Mul asec Add x0 Add -1 Mul x0 pi exp x0 Mul Mul exp x0 log exp x0 Mul Add 1 pi Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add x0 Add -1 Mul x0 pi Add x0 Add -1 Mul x0 pi -1 Add x0 Add -1 Mul x0 pi Add x0 Add -1 Mul x0 pi -1 