acosh sech exp Mul Pow x0 Add x0 x7 Pow x0 pi 
Mul Mul Mul tanh exp Mul Pow x0 Add x0 x7 Pow x0 pi Mul -1 sech exp Mul Pow x0 Add x0 x7 Pow x0 pi Mul exp Mul Pow x0 Add x0 x7 Pow x0 pi Add Mul Pow x0 pi Mul Pow x0 Add Add x0 x7 -1 Add Add x0 x7 Mul x0 log x0 Mul Pow x0 Add x0 x7 Mul Pow x0 Add pi -1 pi Pow Mul sqrt Add sech exp Mul Pow x0 Add x0 x7 Pow x0 pi -1 sqrt Add 1 sech exp Mul Pow x0 Add x0 x7 Pow x0 pi -1 