Pow acosh log Mul x0 Add Pow 0.572750016904307 asech x6 acosh Mul x0 x2 Mul x0 4 
Mul Pow acosh log Mul x0 Add Pow 0.572750016904307 asech x6 acosh Mul x0 x2 Add Mul x0 4 -1 Add Mul Mul x0 4 Mul Mul Add Add Pow 0.572750016904307 asech x6 acosh Mul x0 x2 Mul x0 Mul x2 Pow Mul sqrt Add Mul x0 x2 -1 sqrt Add 1 Mul x0 x2 -1 Pow Mul x0 Add Pow 0.572750016904307 asech x6 acosh Mul x0 x2 -1 Pow Mul sqrt Add log Mul x0 Add Pow 0.572750016904307 asech x6 acosh Mul x0 x2 -1 sqrt Add 1 log Mul x0 Add Pow 0.572750016904307 asech x6 acosh Mul x0 x2 -1 Mul Mul acosh log Mul x0 Add Pow 0.572750016904307 asech x6 acosh Mul x0 x2 log acosh log Mul x0 Add Pow 0.572750016904307 asech x6 acosh Mul x0 x2 4 