Add Add acot sec Add E x0 sqrt x5 Add Add acot coth Mul x0 x3 2 Pow atanh x0 x0 
Add Mul -1 Mul Mul tan Add E x0 sec Add E x0 Pow Add 1 Mul sec Add E x0 sec Add E x0 -1 Add Mul -1 Mul Mul Mul -1 Pow csch Mul x0 x3 2 x3 Pow Add 1 Mul coth Mul x0 x3 coth Mul x0 x3 -1 Mul Pow atanh x0 Add x0 -1 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul atanh x0 log atanh x0 