Mul sec Add x4 atanh Add x0 -4 Pow Mul Pow acoth x0 x0 Mul x7 2 -5 
Add Mul Pow Mul Pow acoth x0 x0 Mul x7 2 -5 Mul Mul tan Add x4 atanh Add x0 -4 sec Add x4 atanh Add x0 -4 Pow Add 1 Mul -1 Mul Add x0 -4 Add x0 -4 -1 Mul sec Add x4 atanh Add x0 -4 Mul Pow Mul Pow acoth x0 x0 Mul x7 2 6 Mul -5 Mul Mul x7 2 Mul Pow acoth x0 Add x0 -1 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 log acoth x0 