Add Pow x3 atanh Add Pow x0 acosh x4 x6 x6 
Mul Pow x3 Add atanh Add Pow x0 acosh x4 x6 -1 Mul Mul x3 log x3 Mul Mul Pow x0 Add acosh x4 -1 acosh x4 Pow Add 1 Mul -1 Mul Add Pow x0 acosh x4 x6 Add Pow x0 acosh x4 x6 -1 