Mul x3 Add Pow x7 Mul -4 Mul Add x0 acot x3 Mul sech x0 Pow acosh x2 Pow Pow x0 sech x0 x4 x4 
Mul x3 Mul Pow x7 Add Mul -4 Mul Add x0 acot x3 Mul sech x0 Pow acosh x2 Pow Pow x0 sech x0 x4 -1 Mul Mul x7 log x7 Mul -4 Add Mul sech x0 Pow acosh x2 Pow Pow x0 sech x0 x4 Mul Add x0 acot x3 Add Mul Pow acosh x2 Pow Pow x0 sech x0 x4 Mul tanh x0 Mul -1 sech x0 Mul sech x0 Mul Pow acosh x2 Add Pow Pow x0 sech x0 x4 -1 Mul Mul acosh x2 log acosh x2 Mul Pow Pow x0 sech x0 Add x4 -1 Mul x4 Mul Pow x0 Add sech x0 -1 Add sech x0 Mul Mul x0 log x0 Mul tanh x0 Mul -1 sech x0 