Mul Pow asin acoth Add x0 x0 17.2432646041636 0.463647609000806 
Mul 0.463647609000806 Mul Pow asin acoth Add x0 x0 16.2432646041636 Mul 17.2432646041636 Mul Mul 2 Pow Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acoth Add x0 x0 acoth Add x0 x0 -1 