Pow x0 atanh tan Add x0 acoth x1 
Mul Pow x0 Add atanh tan Add x0 acoth x1 -1 Add atanh tan Add x0 acoth x1 Mul Mul x0 log x0 Mul Pow sec Add x0 acoth x1 2 Pow Add 1 Mul -1 Mul tan Add x0 acoth x1 tan Add x0 acoth x1 -1 