Mul x0 Add Pow Add cot atanh E x4 log Add x0 1 Pow Add x0 cosh x3 x0 
Add Add Pow Add cot atanh E x4 log Add x0 1 Pow Add x0 cosh x3 x0 Mul x0 Add Mul Pow Add cot atanh E x4 Add log Add x0 1 -1 Mul Mul Add cot atanh E x4 log Add cot atanh E x4 Pow Add x0 1 -1 Mul Pow Add x0 cosh x3 Add x0 -1 Add x0 Mul Add x0 cosh x3 log Add x0 cosh x3 