Add Pow Mul x3 Mul x3 -3 Pow Add Mul sec acot Pow x2 -0.850918128239322 x0 1 acosh x1 Pow x0 x4 
Add Mul Pow Mul x3 Mul x3 -3 Add Pow Add Mul sec acot Pow x2 -0.850918128239322 x0 1 acosh x1 -1 Mul Mul Mul x3 Mul x3 -3 log Mul x3 Mul x3 -3 Mul Pow Add Mul sec acot Pow x2 -0.850918128239322 x0 1 Add acosh x1 -1 Mul acosh x1 sec acot Pow x2 -0.850918128239322 Mul Pow x0 Add x4 -1 x4 