Add Mul x0 Add Mul x1 Pow Mul sqrt x0 -1 Mul Mul x1 atanh sech x0 acsch x5 x7 1 
Add Add Mul x1 Pow Mul sqrt x0 -1 Mul Mul x1 atanh sech x0 acsch x5 x7 Mul x0 Mul x1 Mul Pow Mul sqrt x0 -1 Add Mul Mul x1 atanh sech x0 acsch x5 -1 Add Mul Mul Mul x1 atanh sech x0 acsch x5 Mul -1 Pow Mul 2 sqrt x0 -1 Mul Mul Mul sqrt x0 -1 log Mul sqrt x0 -1 Mul acsch x5 Mul x1 Mul Mul tanh x0 Mul -1 sech x0 Pow Add 1 Mul -1 Mul sech x0 sech x0 -1 