Add Mul x0 Mul pi Add x0 Mul Add x0 x4 Add sec Pow Pow Add x6 x7 acoth x0 x0 1 sin x6 
Add Mul pi Add x0 Mul Add x0 x4 Add sec Pow Pow Add x6 x7 acoth x0 x0 1 Mul x0 Mul pi Add 1 Add Add sec Pow Pow Add x6 x7 acoth x0 x0 1 Mul Add x0 x4 Mul Mul tan Pow Pow Add x6 x7 acoth x0 x0 sec Pow Pow Add x6 x7 acoth x0 x0 Mul Pow Pow Add x6 x7 acoth x0 Add x0 -1 Add Mul x0 Mul Pow Add x6 x7 Add acoth x0 -1 Mul Mul Add x6 x7 log Add x6 x7 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow Add x6 x7 acoth x0 log Pow Add x6 x7 acoth x0 