Mul E Pow Mul cot Mul atanh atanh acosh Add E x0 sec Pow x0 x4 Mul -2 acoth x0 Add x0 Mul x0 x0 
Mul E Mul Pow Mul cot Mul atanh atanh acosh Add E x0 sec Pow x0 x4 Mul -2 acoth x0 Add Add x0 Mul x0 x0 -1 Add Mul Add x0 Mul x0 x0 Add Mul Mul -2 acoth x0 Mul Mul -1 Pow csc Mul atanh atanh acosh Add E x0 sec Pow x0 x4 2 Add Mul sec Pow x0 x4 Mul Mul Pow Mul sqrt Add Add E x0 -1 sqrt Add 1 Add E x0 -1 Pow Add 1 Mul -1 Mul acosh Add E x0 acosh Add E x0 -1 Pow Add 1 Mul -1 Mul atanh acosh Add E x0 atanh acosh Add E x0 -1 Mul atanh atanh acosh Add E x0 Mul Mul tan Pow x0 x4 sec Pow x0 x4 Mul Pow x0 Add x4 -1 x4 Mul cot Mul atanh atanh acosh Add E x0 sec Pow x0 x4 Mul -2 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Mul cot Mul atanh atanh acosh Add E x0 sec Pow x0 x4 Mul -2 acoth x0 log Mul cot Mul atanh atanh acosh Add E x0 sec Pow x0 x4 Mul -2 acoth x0 Add 1 Add x0 x0 