Add Mul x0 acsch asinh Mul x7 -2 atan Mul 4 atanh Mul x0 x7 
Add acsch asinh Mul x7 -2 Mul Mul 4 Mul x7 Pow Add 1 Mul -1 Mul Mul x0 x7 Mul x0 x7 -1 Pow Add 1 Mul Mul 4 atanh Mul x0 x7 Mul 4 atanh Mul x0 x7 -1 