sec Pow Add x0 x0 acoth Mul x0 x6 
Mul Mul tan Pow Add x0 x0 acoth Mul x0 x6 sec Pow Add x0 x0 acoth Mul x0 x6 Mul Pow Add x0 x0 Add acoth Mul x0 x6 -1 Add Mul acoth Mul x0 x6 2 Mul Mul Add x0 x0 log Add x0 x0 Mul x6 Pow Add 1 Mul -1 Mul Mul x0 x6 Mul x0 x6 -1 