Add x0 acot acosh acosh Pow tanh x0 x3 
Add 1 Mul -1 Mul Mul Mul Mul Pow tanh x0 Add x3 -1 Mul x3 Pow sech x0 2 Pow Mul sqrt Add Pow tanh x0 x3 -1 sqrt Add 1 Pow tanh x0 x3 -1 Pow Mul sqrt Add acosh Pow tanh x0 x3 -1 sqrt Add 1 acosh Pow tanh x0 x3 -1 Pow Add 1 Mul acosh acosh Pow tanh x0 x3 acosh acosh Pow tanh x0 x3 -1 