Mul x0 Pow Mul Pow Mul Add -0.653643620863612 x0 Add acosh exp Mul x0 x5 3 x0 -2 Mul x4 asech Mul x3 -2 
Add Pow Mul Pow Mul Add -0.653643620863612 x0 Add acosh exp Mul x0 x5 3 x0 -2 Mul x4 asech Mul x3 -2 Mul x0 Mul Pow Mul Pow Mul Add -0.653643620863612 x0 Add acosh exp Mul x0 x5 3 x0 -2 Add Mul x4 asech Mul x3 -2 -1 Mul Mul x4 asech Mul x3 -2 Mul -2 Mul Pow Mul Add -0.653643620863612 x0 Add acosh exp Mul x0 x5 3 Add x0 -1 Add Mul x0 Add Add acosh exp Mul x0 x5 3 Mul Add -0.653643620863612 x0 Mul Mul exp Mul x0 x5 x5 Pow Mul sqrt Add exp Mul x0 x5 -1 sqrt Add 1 exp Mul x0 x5 -1 Mul Mul Add -0.653643620863612 x0 Add acosh exp Mul x0 x5 3 log Mul Add -0.653643620863612 x0 Add acosh exp Mul x0 x5 3 