tan Mul Add exp x5 Add x3 Add -3 asech x0 Pow Pow Add x1 acoth Add 2 pi Mul atanh x0 x4 E 
Mul Pow sec Mul Add exp x5 Add x3 Add -3 asech x0 Pow Pow Add x1 acoth Add 2 pi Mul atanh x0 x4 E 2 Add Mul Pow Pow Add x1 acoth Add 2 pi Mul atanh x0 x4 E Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Add exp x5 Add x3 Add -3 asech x0 Mul Pow Pow Add x1 acoth Add 2 pi Mul atanh x0 x4 Add E -1 Mul E Mul Pow Add x1 acoth Add 2 pi Add Mul atanh x0 x4 -1 Mul Mul Add x1 acoth Add 2 pi log Add x1 acoth Add 2 pi Mul x4 Pow Add 1 Mul -1 Mul x0 x0 -1 