Pow Add sqrt Mul x0 4 E acosh x0 
Mul Pow Add sqrt Mul x0 4 E Add acosh x0 -1 Add Mul acosh x0 Mul Pow Mul 2 sqrt Mul x0 4 -1 4 Mul Mul Add sqrt Mul x0 4 E log Add sqrt Mul x0 4 E Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 