Mul Pow Add x0 sec Add x0 Pow x2 -1 Mul -3 acoth Add atanh x0 x7 0.460965476017584 
Mul 0.460965476017584 Mul Pow Add x0 sec Add x0 Pow x2 -1 Add Mul -3 acoth Add atanh x0 x7 -1 Add Mul Mul -3 acoth Add atanh x0 x7 Add 1 Mul tan Add x0 Pow x2 -1 sec Add x0 Pow x2 -1 Mul Mul Add x0 sec Add x0 Pow x2 -1 log Add x0 sec Add x0 Pow x2 -1 Mul -3 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Add atanh x0 x7 Add atanh x0 x7 -1 