Pow Add Add E x0 -4 Pow x0 atanh acosh x1 
Mul Pow Add Add E x0 -4 Add Pow x0 atanh acosh x1 -1 Add Pow x0 atanh acosh x1 Mul Mul Add Add E x0 -4 log Add Add E x0 -4 Mul Pow x0 Add atanh acosh x1 -1 atanh acosh x1 