Add log Pow tanh x0 Add acot atanh x1 sqrt x0 Add Add 4 tan Mul x2 Add x0 x1 x0 
Add Mul Mul Pow tanh x0 Add Add acot atanh x1 sqrt x0 -1 Add Mul Add acot atanh x1 sqrt x0 Pow sech x0 2 Mul Mul tanh x0 log tanh x0 Pow Mul 2 sqrt x0 -1 Pow Pow tanh x0 Add acot atanh x1 sqrt x0 -1 Add Mul Pow sec Mul x2 Add x0 x1 2 x2 1 