Mul Pow sech x0 pi Mul Mul Mul acot x1 Pow x0 acoth Mul x0 acosh Mul sqrt Mul x0 x0 x0 2 x0 
Add Mul Mul Mul Mul acot x1 Pow x0 acoth Mul x0 acosh Mul sqrt Mul x0 x0 x0 2 x0 Mul Pow sech x0 Add pi -1 Mul pi Mul tanh x0 Mul -1 sech x0 Mul Pow sech x0 pi Add Mul x0 Mul 2 Mul acot x1 Mul Pow x0 Add acoth Mul x0 acosh Mul sqrt Mul x0 x0 x0 -1 Add acoth Mul x0 acosh Mul sqrt Mul x0 x0 x0 Mul Mul x0 log x0 Mul Add acosh Mul sqrt Mul x0 x0 x0 Mul x0 Mul Add Mul x0 Mul Pow Mul 2 sqrt Mul x0 x0 -1 Add x0 x0 sqrt Mul x0 x0 Pow Mul sqrt Add Mul sqrt Mul x0 x0 x0 -1 sqrt Add 1 Mul sqrt Mul x0 x0 x0 -1 Pow Add 1 Mul -1 Mul Mul x0 acosh Mul sqrt Mul x0 x0 x0 Mul x0 acosh Mul sqrt Mul x0 x0 x0 -1 Mul Mul acot x1 Pow x0 acoth Mul x0 acosh Mul sqrt Mul x0 x0 x0 2 