Add acosh x0 Add Mul Pow sqrt Mul Add x0 x0 Pow x4 Mul tanh x0 x3 Add x0 1 -1 Mul Add pi acoth x0 pi 
Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Add Mul -1 Mul Pow sqrt Mul Add x0 x0 Pow x4 Mul tanh x0 x3 Add Add x0 1 -1 Add Mul Add x0 1 Mul Pow Mul 2 sqrt Mul Add x0 x0 Pow x4 Mul tanh x0 x3 -1 Add Mul Pow x4 Mul tanh x0 x3 2 Mul Add x0 x0 Mul Pow x4 Add Mul tanh x0 x3 -1 Mul Mul x4 log x4 Mul x3 Pow sech x0 2 Mul sqrt Mul Add x0 x0 Pow x4 Mul tanh x0 x3 log sqrt Mul Add x0 x0 Pow x4 Mul tanh x0 x3 Mul pi Pow Add 1 Mul -1 Mul x0 x0 -1 