Add sinh Mul x0 Add x2 Pow Add sqrt acosh x0 x5 Add x0 cot cosh x7 x0 
Add Mul cosh Mul x0 Add x2 Pow Add sqrt acosh x0 x5 Add x0 cot cosh x7 Add Add x2 Pow Add sqrt acosh x0 x5 Add x0 cot cosh x7 Mul x0 Mul Pow Add sqrt acosh x0 x5 Add Add x0 cot cosh x7 -1 Add Mul Add x0 cot cosh x7 Mul Pow Mul 2 sqrt acosh x0 -1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Add sqrt acosh x0 x5 log Add sqrt acosh x0 x5 1 