acos Mul Mul x0 Mul x0 asech log Add 4 Mul x0 5 asech Add 1 x0 
Mul -1 Mul Add Mul asech Add 1 x0 Add Mul x0 asech log Add 4 Mul x0 5 Mul x0 Add asech log Add 4 Mul x0 5 Mul x0 Mul Mul 5 Pow Add 4 Mul x0 5 -1 Pow Mul Mul log Add 4 Mul x0 5 log Add 4 Mul x0 5 sqrt Add 1 Mul -1 Pow Mul log Add 4 Mul x0 5 log Add 4 Mul x0 5 -1 -1 Mul Mul x0 Mul x0 asech log Add 4 Mul x0 5 Pow Mul Mul Add 1 x0 Add 1 x0 sqrt Add 1 Mul -1 Pow Mul Add 1 x0 Add 1 x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul Mul Mul x0 Mul x0 asech log Add 4 Mul x0 5 asech Add 1 x0 Mul Mul x0 Mul x0 asech log Add 4 Mul x0 5 asech Add 1 x0 -1 