Add Add Add 1 Mul x0 -4 acosh x2 Pow Mul x0 Pow x0 atanh x7 acsc Pow tanh sqrt x2 Mul x0 x0 
Add -4 Mul Pow Mul x0 Pow x0 atanh x7 Add acsc Pow tanh sqrt x2 Mul x0 x0 -1 Add Mul acsc Pow tanh sqrt x2 Mul x0 x0 Add Pow x0 atanh x7 Mul x0 Mul Pow x0 Add atanh x7 -1 atanh x7 Mul Mul Mul x0 Pow x0 atanh x7 log Mul x0 Pow x0 atanh x7 Mul -1 Mul Mul Pow tanh sqrt x2 Add Mul x0 x0 -1 Mul Mul tanh sqrt x2 log tanh sqrt x2 Add x0 x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow tanh sqrt x2 Mul x0 x0 Pow tanh sqrt x2 Mul x0 x0 -1 Pow tanh sqrt x2 Mul x0 x0 Pow tanh sqrt x2 Mul x0 x0 -1 