Pow x0 sec Pow acoth Add x0 x1 5.99505475368673 
Mul Pow x0 Add sec Pow acoth Add x0 x1 5.99505475368673 -1 Add sec Pow acoth Add x0 x1 5.99505475368673 Mul Mul x0 log x0 Mul Mul tan Pow acoth Add x0 x1 5.99505475368673 sec Pow acoth Add x0 x1 5.99505475368673 Mul Pow acoth Add x0 x1 4.99505475368673 Mul 5.99505475368673 Pow Add 1 Mul -1 Mul Add x0 x1 Add x0 x1 -1 