Add x0 atan acosh Add Add x5 Mul Pow Add Mul x0 x0 acoth x1 Add acsch sqrt x7 log x0 x5 sinh x0 
Add 1 Mul Mul Add Mul x5 Mul Pow Add Mul x0 x0 acoth x1 Add Add acsch sqrt x7 log x0 -1 Add Mul Add acsch sqrt x7 log x0 Add x0 x0 Mul Mul Add Mul x0 x0 acoth x1 log Add Mul x0 x0 acoth x1 Pow x0 -1 cosh x0 Pow Mul sqrt Add Add Add x5 Mul Pow Add Mul x0 x0 acoth x1 Add acsch sqrt x7 log x0 x5 sinh x0 -1 sqrt Add 1 Add Add x5 Mul Pow Add Mul x0 x0 acoth x1 Add acsch sqrt x7 log x0 x5 sinh x0 -1 Pow Add 1 Mul acosh Add Add x5 Mul Pow Add Mul x0 x0 acoth x1 Add acsch sqrt x7 log x0 x5 sinh x0 acosh Add Add x5 Mul Pow Add Mul x0 x0 acoth x1 Add acsch sqrt x7 log x0 x5 sinh x0 -1 