Add asinh x0 Pow Add Pow x7 E x0 Pow Pow acoth Add Add x0 Add x0 -3 5 -5 acosh x0 
Add Pow sqrt Add 1 Mul x0 x0 -1 Mul Pow Add Pow x7 E x0 Add Pow Pow acoth Add Add x0 Add x0 -3 5 -5 acosh x0 -1 Add Pow Pow acoth Add Add x0 Add x0 -3 5 -5 acosh x0 Mul Mul Add Pow x7 E x0 log Add Pow x7 E x0 Mul Pow Pow acoth Add Add x0 Add x0 -3 5 -5 Add acosh x0 -1 Add Mul acosh x0 Mul Pow acoth Add Add x0 Add x0 -3 5 6 Mul -5 Mul 2 Pow Add 1 Mul -1 Mul Add Add x0 Add x0 -3 5 Add Add x0 Add x0 -3 5 -1 Mul Mul Pow acoth Add Add x0 Add x0 -3 5 -5 log Pow acoth Add Add x0 Add x0 -3 5 -5 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 