Add Pow tanh x0 Mul Add Pow x0 Pow acosh Pow sqrt x3 x0 pi x5 4 Mul 2 asech x0 
Add Mul Pow tanh x0 Add Mul Add Pow x0 Pow acosh Pow sqrt x3 x0 pi x5 4 -1 Add Mul Mul Add Pow x0 Pow acosh Pow sqrt x3 x0 pi x5 4 Pow sech x0 2 Mul Mul tanh x0 log tanh x0 Mul 4 Mul Pow x0 Add Pow acosh Pow sqrt x3 x0 pi -1 Add Pow acosh Pow sqrt x3 x0 pi Mul Mul x0 log x0 Mul Pow acosh Pow sqrt x3 x0 Add pi -1 Mul pi Mul Mul Pow sqrt x3 Add x0 -1 Mul sqrt x3 log sqrt x3 Pow Mul sqrt Add Pow sqrt x3 x0 -1 sqrt Add 1 Pow sqrt x3 x0 -1 Mul 2 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 