Add Mul x7 x0 Pow sec Mul x0 acoth x0 sec Pow Mul Add x7 x0 2.41710461100848 x0 
Add x7 Mul Pow sec Mul x0 acoth x0 Add sec Pow Mul Add x7 x0 2.41710461100848 x0 -1 Add Mul sec Pow Mul Add x7 x0 2.41710461100848 x0 Mul Mul tan Mul x0 acoth x0 sec Mul x0 acoth x0 Add acoth x0 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul sec Mul x0 acoth x0 log sec Mul x0 acoth x0 Mul Mul tan Pow Mul Add x7 x0 2.41710461100848 x0 sec Pow Mul Add x7 x0 2.41710461100848 x0 Mul Pow Mul Add x7 x0 2.41710461100848 Add x0 -1 Add Mul x0 2.41710461100848 Mul Mul Add x7 x0 2.41710461100848 log Mul Add x7 x0 2.41710461100848 