Pow x0 Pow Add Add E x0 Add sqrt Mul x3 Add acoth pi x0 atanh x0 acot E 
Mul Pow x0 Add Pow Add Add E x0 Add sqrt Mul x3 Add acoth pi x0 atanh x0 acot E -1 Add Pow Add Add E x0 Add sqrt Mul x3 Add acoth pi x0 atanh x0 acot E Mul Mul x0 log x0 Mul Pow Add Add E x0 Add sqrt Mul x3 Add acoth pi x0 atanh x0 Add acot E -1 Mul acot E Add 1 Add Mul Pow Mul 2 sqrt Mul x3 Add acoth pi x0 -1 x3 Pow Add 1 Mul -1 Mul x0 x0 -1 