Pow acoth Add x5 Add acosh x0 sinh x0 Add x0 0.850918128239322 
Mul Pow acoth Add x5 Add acosh x0 sinh x0 Add Add x0 0.850918128239322 -1 Add Mul Add x0 0.850918128239322 Mul Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 cosh x0 Pow Add 1 Mul -1 Mul Add x5 Add acosh x0 sinh x0 Add x5 Add acosh x0 sinh x0 -1 Mul acoth Add x5 Add acosh x0 sinh x0 log acoth Add x5 Add acosh x0 sinh x0 