Pow Pow Pow x0 acosh Mul x5 5 Add sqrt x0 x0 Add 1 atanh pi 
Mul Pow Pow Pow x0 acosh Mul x5 5 Add sqrt x0 x0 Add Add 1 atanh pi -1 Mul Add 1 atanh pi Mul Pow Pow x0 acosh Mul x5 5 Add Add sqrt x0 x0 -1 Add Mul Add sqrt x0 x0 Mul Pow x0 Add acosh Mul x5 5 -1 acosh Mul x5 5 Mul Mul Pow x0 acosh Mul x5 5 log Pow x0 acosh Mul x5 5 Add Pow Mul 2 sqrt x0 -1 1 