Mul -2 sqrt Add x0 Pow asec acosh Add x0 Mul x3 -4 x0 
Mul -2 Mul Pow Mul 2 sqrt Add x0 Pow asec acosh Add x0 Mul x3 -4 x0 -1 Add 1 Mul Pow asec acosh Add x0 Mul x3 -4 Add x0 -1 Add Mul x0 Mul Pow Mul sqrt Add Add x0 Mul x3 -4 -1 sqrt Add 1 Add x0 Mul x3 -4 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acosh Add x0 Mul x3 -4 acosh Add x0 Mul x3 -4 -1 acosh Add x0 Mul x3 -4 acosh Add x0 Mul x3 -4 -1 Mul asec acosh Add x0 Mul x3 -4 log asec acosh Add x0 Mul x3 -4 