Mul Pow Pow Add Mul x0 4 Add Pow x0 Pow pi 4 -1 2 acosh x0 Pow -4 x1 
Mul Pow -4 x1 Mul Pow Pow Add Mul x0 4 Add Pow x0 Pow pi 4 -1 2 Add acosh x0 -1 Add Mul acosh x0 Mul Add Mul x0 4 Add Pow x0 Pow pi 4 -1 Mul 2 Add 4 Mul Pow x0 Add Pow pi 4 -1 Pow pi 4 Mul Mul Pow Add Mul x0 4 Add Pow x0 Pow pi 4 -1 2 log Pow Add Mul x0 4 Add Pow x0 Pow pi 4 -1 2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 