Pow acosh Pow Mul x4 -4 Pow Add Mul log x0 x0 2 2 Mul atanh x0 x2 
Mul Pow acosh Pow Mul x4 -4 Pow Add Mul log x0 x0 2 2 Add Mul atanh x0 x2 -1 Add Mul Mul atanh x0 x2 Mul Mul Pow Mul x4 -4 Add Pow Add Mul log x0 x0 2 2 -1 Mul Mul Mul x4 -4 log Mul x4 -4 Mul Add Mul log x0 x0 2 Mul 2 Add Mul x0 Pow x0 -1 log x0 Pow Mul sqrt Add Pow Mul x4 -4 Pow Add Mul log x0 x0 2 2 -1 sqrt Add 1 Pow Mul x4 -4 Pow Add Mul log x0 x0 2 2 -1 Mul Mul acosh Pow Mul x4 -4 Pow Add Mul log x0 x0 2 2 log acosh Pow Mul x4 -4 Pow Add Mul log x0 x0 2 2 Mul x2 Pow Add 1 Mul -1 Mul x0 x0 -1 