Add csch x0 Add Add Add 5 Pow x7 pi Pow x0 Pow Pow x1 acoth x0 -3 sec Add x0 1 
Add Mul Mul -1 coth x0 csch x0 Add Mul Pow x0 Add Pow Pow x1 acoth x0 -3 -1 Add Pow Pow x1 acoth x0 -3 Mul Mul x0 log x0 Mul Pow Pow x1 acoth x0 4 Mul -3 Mul Pow x1 Add acoth x0 -1 Mul Mul x1 log x1 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul tan Add x0 1 sec Add x0 1 