Add Add x7 Pow Pow 5 Mul x4 cosh x4 acoth x0 Add -5 acos x0 
Add Mul Pow Pow 5 Mul x4 cosh x4 Add acoth x0 -1 Mul Mul Pow 5 Mul x4 cosh x4 log Pow 5 Mul x4 cosh x4 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 