Mul Mul x5 Pow x0 x3 acosh Mul x0 Mul x0 atan Add x0 acosh x0 
Add Mul acosh Mul x0 Mul x0 atan Add x0 acosh x0 Mul x5 Mul Pow x0 Add x3 -1 x3 Mul Mul x5 Pow x0 x3 Mul Add Mul x0 atan Add x0 acosh x0 Mul x0 Add atan Add x0 acosh x0 Mul x0 Mul Add 1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul Add x0 acosh x0 Add x0 acosh x0 -1 Pow Mul sqrt Add Mul x0 Mul x0 atan Add x0 acosh x0 -1 sqrt Add 1 Mul x0 Mul x0 atan Add x0 acosh x0 -1 