Mul x0 Pow Mul Add x0 Pow log Add x0 x0 Pow x0 x1 sec Add E atanh x5 x3 
Add Pow Mul Add x0 Pow log Add x0 x0 Pow x0 x1 sec Add E atanh x5 x3 Mul x0 Mul Pow Mul Add x0 Pow log Add x0 x0 Pow x0 x1 sec Add E atanh x5 Add x3 -1 Mul x3 Mul sec Add E atanh x5 Add 1 Mul Pow log Add x0 x0 Add Pow x0 x1 -1 Add Mul Pow x0 x1 Mul 2 Pow Add x0 x0 -1 Mul Mul log Add x0 x0 log log Add x0 x0 Mul Pow x0 Add x1 -1 x1 