Pow Add Add x5 x7 Add x4 acoth x2 asin acos Mul Mul cosh x0 x0 x0 
Mul Pow Add Add x5 x7 Add x4 acoth x2 Add asin acos Mul Mul cosh x0 x0 x0 -1 Mul Mul Add Add x5 x7 Add x4 acoth x2 log Add Add x5 x7 Add x4 acoth x2 Mul Mul -1 Mul Add Mul x0 Add Mul x0 sinh x0 cosh x0 Mul cosh x0 x0 Pow sqrt Add 1 Mul -1 Mul Mul Mul cosh x0 x0 x0 Mul Mul cosh x0 x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acos Mul Mul cosh x0 x0 x0 acos Mul Mul cosh x0 x0 x0 -1 