Pow Mul x7 x0 Add acos sec Mul acos cosh x0 Add x0 x0 x0 
Mul Pow Mul x7 x0 Add Add acos sec Mul acos cosh x0 Add x0 x0 x0 -1 Add Mul Add acos sec Mul acos cosh x0 Add x0 x0 x0 x7 Mul Mul Mul x7 x0 log Mul x7 x0 Add Mul -1 Mul Mul Mul tan Mul acos cosh x0 Add x0 x0 sec Mul acos cosh x0 Add x0 x0 Add Mul Add x0 x0 Mul -1 Mul sinh x0 Pow sqrt Add 1 Mul -1 Mul cosh x0 cosh x0 -1 Mul acos cosh x0 2 Pow sqrt Add 1 Mul -1 Mul sec Mul acos cosh x0 Add x0 x0 sec Mul acos cosh x0 Add x0 x0 -1 1 