Add sqrt x0 Add Mul csc Add Pow atanh x0 x1 -3 x3 -1.15782128234958 
Add Pow Mul 2 sqrt x0 -1 Mul x3 Mul Mul Mul -1 cot Add Pow atanh x0 x1 -3 csc Add Pow atanh x0 x1 -3 Mul Pow atanh x0 Add x1 -1 Mul x1 Pow Add 1 Mul -1 Mul x0 x0 -1 