exp Add Pow Mul asech x6 Mul x0 Mul -4 Mul x0 -5 atanh x0 x0 
Mul exp Add Pow Mul asech x6 Mul x0 Mul -4 Mul x0 -5 atanh x0 x0 Add Mul Pow Mul asech x6 Mul x0 Mul -4 Mul x0 -5 Add atanh x0 -1 Add Mul atanh x0 Mul asech x6 Add Mul -4 Mul x0 -5 Mul x0 9 Mul Mul Mul asech x6 Mul x0 Mul -4 Mul x0 -5 log Mul asech x6 Mul x0 Mul -4 Mul x0 -5 Pow Add 1 Mul -1 Mul x0 x0 -1 1 