Mul 1.54308063481524 acos log Pow Add 3 x0 log asec x1 
Mul 1.54308063481524 Mul -1 Mul Mul Mul Pow Add 3 x0 Add log asec x1 -1 log asec x1 Pow Pow Add 3 x0 log asec x1 -1 Pow sqrt Add 1 Mul -1 Mul log Pow Add 3 x0 log asec x1 log Pow Add 3 x0 log asec x1 -1 