Pow Mul sqrt Mul Pow x0 Pow asec x3 x0 Add Mul x0 acoth x3 x0 x3 2.09439510239320 
Mul Pow Mul sqrt Mul Pow x0 Pow asec x3 x0 Add Mul x0 acoth x3 x0 x3 1.09439510239320 Mul 2.09439510239320 Mul x3 Mul Pow Mul 2 sqrt Mul Pow x0 Pow asec x3 x0 Add Mul x0 acoth x3 x0 -1 Add Mul Add Mul x0 acoth x3 x0 Mul Pow x0 Add Pow asec x3 x0 -1 Add Pow asec x3 x0 Mul Mul x0 log x0 Mul Pow asec x3 Add x0 -1 Mul asec x3 log asec x3 Mul Pow x0 Pow asec x3 x0 Add acoth x3 1 