Pow Add Pow x0 E 1 Add Pow acoth Pow Mul x5 -1 acot x1 Add 2 Add x3 2 x0 
Mul Pow Add Pow x0 E 1 Add Add Pow acoth Pow Mul x5 -1 acot x1 Add 2 Add x3 2 x0 -1 Add Mul Add Pow acoth Pow Mul x5 -1 acot x1 Add 2 Add x3 2 x0 Mul Pow x0 Add E -1 E Mul Add Pow x0 E 1 log Add Pow x0 E 1 