Add Add x0 pi Mul x0 Pow acsch tanh Add x0 Pow acosh x5 x3 pi 
Add 1 Add Pow acsch tanh Add x0 Pow acosh x5 x3 pi Mul x0 Mul Pow acsch tanh Add x0 Pow acosh x5 x3 Add pi -1 Mul pi Mul Mul -1 Pow sech Add x0 Pow acosh x5 x3 2 Pow Mul Mul tanh Add x0 Pow acosh x5 x3 tanh Add x0 Pow acosh x5 x3 sqrt Add 1 Mul -1 Pow Mul tanh Add x0 Pow acosh x5 x3 tanh Add x0 Pow acosh x5 x3 -1 -1 