Mul x0 Mul x0 sec csch acos Add x0 2 
Add Mul x0 sec csch acos Add x0 2 Mul x0 Add sec csch acos Add x0 2 Mul x0 Mul Mul tan csch acos Add x0 2 sec csch acos Add x0 2 Mul Mul Mul -1 coth acos Add x0 2 csch acos Add x0 2 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add x0 2 Add x0 2 -1 