Add Pow Pow x0 acosh acot Add E -3 x0 Pow Add x6 4 x0 
Add Mul Pow Pow x0 acosh acot Add E -3 Add x0 -1 Add Mul x0 Mul Pow x0 Add acosh acot Add E -3 -1 acosh acot Add E -3 Mul Pow x0 acosh acot Add E -3 log Pow x0 acosh acot Add E -3 Mul Pow Add x6 4 Add x0 -1 Mul Add x6 4 log Add x6 4 