atanh Mul Mul x0 0.648054273663885 Mul Pow Mul x6 Pow asech Add 4 x0 x0 -1 x6 
Mul Add Mul Mul Pow Mul x6 Pow asech Add 4 x0 x0 -1 x6 0.648054273663885 Mul Mul x0 0.648054273663885 Mul x6 Mul Pow Mul x6 Pow asech Add 4 x0 x0 2 Mul -1 Mul x6 Mul Pow asech Add 4 x0 Add x0 -1 Add Mul x0 Pow Mul Mul Add 4 x0 Add 4 x0 sqrt Add 1 Mul -1 Pow Mul Add 4 x0 Add 4 x0 -1 -1 Mul asech Add 4 x0 log asech Add 4 x0 Pow Add 1 Mul -1 Mul Mul Mul x0 0.648054273663885 Mul Pow Mul x6 Pow asech Add 4 x0 x0 -1 x6 Mul Mul x0 0.648054273663885 Mul Pow Mul x6 Pow asech Add 4 x0 x0 -1 x6 -1 