Mul Add Mul pi pi atanh Add Pow E atanh Mul x0 E Add Add x0 x0 Pow x0 acosh Add 3 acosh x5 x0 
Add Mul x0 Mul Add Mul Pow E Add atanh Mul x0 E -1 Mul Mul E log E Mul E Pow Add 1 Mul -1 Mul Mul x0 E Mul x0 E -1 Add 2 Mul Pow x0 Add acosh Add 3 acosh x5 -1 acosh Add 3 acosh x5 Pow Add 1 Mul -1 Mul Add Pow E atanh Mul x0 E Add Add x0 x0 Pow x0 acosh Add 3 acosh x5 Add Pow E atanh Mul x0 E Add Add x0 x0 Pow x0 acosh Add 3 acosh x5 -1 Add Mul pi pi atanh Add Pow E atanh Mul x0 E Add Add x0 x0 Pow x0 acosh Add 3 acosh x5 