Mul x0 Pow Pow Mul sec Mul 3 sqrt Add x0 Add 5 x0 x2 acoth x0 Add x6 x0 
Add Pow Pow Mul sec Mul 3 sqrt Add x0 Add 5 x0 x2 acoth x0 Add x6 x0 Mul x0 Mul Pow Pow Mul sec Mul 3 sqrt Add x0 Add 5 x0 x2 acoth x0 Add Add x6 x0 -1 Add Mul Add x6 x0 Mul Pow Mul sec Mul 3 sqrt Add x0 Add 5 x0 x2 Add acoth x0 -1 Add Mul acoth x0 Mul x2 Mul Mul tan Mul 3 sqrt Add x0 Add 5 x0 sec Mul 3 sqrt Add x0 Add 5 x0 Mul 3 Mul Pow Mul 2 sqrt Add x0 Add 5 x0 -1 2 Mul Mul Mul sec Mul 3 sqrt Add x0 Add 5 x0 x2 log Mul sec Mul 3 sqrt Add x0 Add 5 x0 x2 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow Mul sec Mul 3 sqrt Add x0 Add 5 x0 x2 acoth x0 log Pow Mul sec Mul 3 sqrt Add x0 Add 5 x0 x2 acoth x0 