Pow Mul Mul E exp sec Mul pi Mul -1 x0 Mul Mul csch cot x1 x0 x0 x0 
Mul Pow Mul Mul E exp sec Mul pi Mul -1 x0 Mul Mul csch cot x1 x0 x0 Add x0 -1 Add Mul x0 Add Mul Mul Mul csch cot x1 x0 x0 Mul E Mul exp sec Mul pi Mul -1 x0 Mul Mul tan Mul pi Mul -1 x0 sec Mul pi Mul -1 x0 Mul pi -1 Mul Mul E exp sec Mul pi Mul -1 x0 Add Mul x0 csch cot x1 Mul csch cot x1 x0 Mul Mul Mul E exp sec Mul pi Mul -1 x0 Mul Mul csch cot x1 x0 x0 log Mul Mul E exp sec Mul pi Mul -1 x0 Mul Mul csch cot x1 x0 x0 