Pow Add sqrt acot Add 4 x0 Add x5 Add x0 atanh x2 x0 
Mul Pow Add sqrt acot Add 4 x0 Add x5 Add x0 atanh x2 Add x0 -1 Add Mul x0 Add Mul Pow Mul 2 sqrt acot Add 4 x0 -1 Mul -1 Pow Add 1 Mul Add 4 x0 Add 4 x0 -1 1 Mul Add sqrt acot Add 4 x0 Add x5 Add x0 atanh x2 log Add sqrt acot Add 4 x0 Add x5 Add x0 atanh x2 