Pow Add Pow acot Add Mul x0 acoth E x0 sec x1 4 x0 
Mul Pow Add Pow acot Add Mul x0 acoth E x0 sec x1 4 Add x0 -1 Add Mul x0 Mul Pow acot Add Mul x0 acoth E x0 Add sec x1 -1 Mul sec x1 Mul -1 Mul Add acoth E 1 Pow Add 1 Mul Add Mul x0 acoth E x0 Add Mul x0 acoth E x0 -1 Mul Add Pow acot Add Mul x0 acoth E x0 sec x1 4 log Add Pow acot Add Mul x0 acoth E x0 sec x1 4 