Add x0 log Add Pow x5 x5 Mul x7 Add x0 Add Mul Mul x0 acoth x0 x0 Add x1 cot x6 
Add 1 Mul Mul x7 Add 1 Add Mul x0 Add acoth x0 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul x0 acoth x0 Pow Add Pow x5 x5 Mul x7 Add x0 Add Mul Mul x0 acoth x0 x0 Add x1 cot x6 -1 