acsch tan acoth Add x0 tanh x3 
Mul Mul -1 Mul Pow sec acoth Add x0 tanh x3 2 Pow Add 1 Mul -1 Mul Add x0 tanh x3 Add x0 tanh x3 -1 Pow Mul Mul tan acoth Add x0 tanh x3 tan acoth Add x0 tanh x3 sqrt Add 1 Mul -1 Pow Mul tan acoth Add x0 tanh x3 tan acoth Add x0 tanh x3 -1 -1 