Pow Pow acosh Mul Mul Mul x0 acosh x7 Add Mul -5 x4 sqrt x0 exp x7 atan Add 3 Add x0 acsch x5 4 
Mul Pow Pow acosh Mul Mul Mul x0 acosh x7 Add Mul -5 x4 sqrt x0 exp x7 atan Add 3 Add x0 acsch x5 3 Mul 4 Mul Pow acosh Mul Mul Mul x0 acosh x7 Add Mul -5 x4 sqrt x0 exp x7 Add atan Add 3 Add x0 acsch x5 -1 Add Mul atan Add 3 Add x0 acsch x5 Mul Mul exp x7 Add Mul Add Mul -5 x4 sqrt x0 acosh x7 Mul Mul x0 acosh x7 Pow Mul 2 sqrt x0 -1 Pow Mul sqrt Add Mul Mul Mul x0 acosh x7 Add Mul -5 x4 sqrt x0 exp x7 -1 sqrt Add 1 Mul Mul Mul x0 acosh x7 Add Mul -5 x4 sqrt x0 exp x7 -1 Mul Mul acosh Mul Mul Mul x0 acosh x7 Add Mul -5 x4 sqrt x0 exp x7 log acosh Mul Mul Mul x0 acosh x7 Add Mul -5 x4 sqrt x0 exp x7 Pow Add 1 Mul Add 3 Add x0 acsch x5 Add 3 Add x0 acsch x5 -1 