Mul x3 Add Pow Mul x0 Mul x0 Add x0 x0 5.29243166956118 Add 1 asech Mul atanh Mul x6 x0 3 
Mul x3 Add Mul Pow Mul x0 Mul x0 Add x0 x0 4.29243166956118 Mul 5.29243166956118 Add Mul x0 Add x0 x0 Mul x0 Add Add x0 x0 Mul x0 2 Mul Mul 3 Mul x6 Pow Add 1 Mul -1 Mul Mul x6 x0 Mul x6 x0 -1 Pow Mul Mul Mul atanh Mul x6 x0 3 Mul atanh Mul x6 x0 3 sqrt Add 1 Mul -1 Pow Mul Mul atanh Mul x6 x0 3 Mul atanh Mul x6 x0 3 -1 -1 