tanh Pow Mul sqrt acot Add x0 log Mul x0 3 x0 4 
Mul Pow sech Pow Mul sqrt acot Add x0 log Mul x0 3 x0 4 2 Mul Pow Mul sqrt acot Add x0 log Mul x0 3 x0 3 Mul 4 Add Mul x0 Mul Pow Mul 2 sqrt acot Add x0 log Mul x0 3 -1 Mul -1 Mul Add 1 Mul 3 Pow Mul x0 3 -1 Pow Add 1 Mul Add x0 log Mul x0 3 Add x0 log Mul x0 3 -1 sqrt acot Add x0 log Mul x0 3 