Mul Add Mul Mul asech x0 Add x0 asech Add x0 5 Mul -1 Mul acosh Mul atan x0 -2 x0 x0 0.252680255142079 
Mul 0.252680255142079 Add Add Mul Mul -1 Mul acosh Mul atan x0 -2 x0 Add Mul Add x0 asech Add x0 5 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul asech x0 Add 1 Pow Mul Mul Add x0 5 Add x0 5 sqrt Add 1 Mul -1 Pow Mul Add x0 5 Add x0 5 -1 -1 Mul Mul asech x0 Add x0 asech Add x0 5 Mul -1 Add Mul x0 Mul Mul -2 Pow Add 1 Mul x0 x0 -1 Pow Mul sqrt Add Mul atan x0 -2 -1 sqrt Add 1 Mul atan x0 -2 -1 acosh Mul atan x0 -2 1 