Add Mul x4 Add x2 asinh Pow x2 -4 Mul x4 Mul Mul x0 Pow x0 Mul acosh pi -2 x0 
Mul x4 Add Mul x0 Add Pow x0 Mul acosh pi -2 Mul x0 Mul Pow x0 Add Mul acosh pi -2 -1 Mul acosh pi -2 Mul x0 Pow x0 Mul acosh pi -2 