Pow atanh Pow x0 Mul 4 x3 Pow Pow Mul asech x0 3 x0 3 
Mul Pow atanh Pow x0 Mul 4 x3 Add Pow Pow Mul asech x0 3 x0 3 -1 Add Mul Pow Pow Mul asech x0 3 x0 3 Mul Mul Pow x0 Add Mul 4 x3 -1 Mul 4 x3 Pow Add 1 Mul -1 Mul Pow x0 Mul 4 x3 Pow x0 Mul 4 x3 -1 Mul Mul atanh Pow x0 Mul 4 x3 log atanh Pow x0 Mul 4 x3 Mul Pow Pow Mul asech x0 3 x0 2 Mul 3 Mul Pow Mul asech x0 3 Add x0 -1 Add Mul x0 Mul 3 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Mul asech x0 3 log Mul asech x0 3 