Mul Add x0 Pow tan asech acoth Pow x0 x2 x2 x6 
Mul x6 Add 1 Mul Pow tan asech acoth Pow x0 x2 Add x2 -1 Mul x2 Mul Pow sec asech acoth Pow x0 x2 2 Mul Mul Mul Pow x0 Add x2 -1 x2 Pow Add 1 Mul -1 Mul Pow x0 x2 Pow x0 x2 -1 Pow Mul Mul acoth Pow x0 x2 acoth Pow x0 x2 sqrt Add 1 Mul -1 Pow Mul acoth Pow x0 x2 acoth Pow x0 x2 -1 -1 