Pow Add 0.200000000000000 Pow Add x0 E x0 acoth Add 3 x0 
Mul Pow Add 0.200000000000000 Pow Add x0 E x0 Add acoth Add 3 x0 -1 Add Mul acoth Add 3 x0 Mul Pow Add x0 E Add x0 -1 Add x0 Mul Add x0 E log Add x0 E Mul Mul Add 0.200000000000000 Pow Add x0 E x0 log Add 0.200000000000000 Pow Add x0 E x0 Pow Add 1 Mul -1 Mul Add 3 x0 Add 3 x0 -1 