Mul x0 Mul acot Mul Pow Add Add Mul log E acosh x7 x0 Mul x0 x0 Mul x0 x5 x0 x0 
Add Mul acot Mul Pow Add Add Mul log E acosh x7 x0 Mul x0 x0 Mul x0 x5 x0 x0 Mul x0 Add Mul x0 Mul -1 Mul Add Mul x0 Mul Pow Add Add Mul log E acosh x7 x0 Mul x0 x0 Add Mul x0 x5 -1 Add Mul Mul x0 x5 Add 1 Add x0 x0 Mul Mul Add Add Mul log E acosh x7 x0 Mul x0 x0 log Add Add Mul log E acosh x7 x0 Mul x0 x0 x5 Pow Add Add Mul log E acosh x7 x0 Mul x0 x0 Mul x0 x5 Pow Add 1 Mul Mul Pow Add Add Mul log E acosh x7 x0 Mul x0 x0 Mul x0 x5 x0 Mul Pow Add Add Mul log E acosh x7 x0 Mul x0 x0 Mul x0 x5 x0 -1 acot Mul Pow Add Add Mul log E acosh x7 x0 Mul x0 x0 Mul x0 x5 x0 