Add asin x0 atanh Add x7 Pow log sec cosh x0 x7 
Add Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Pow log sec cosh x0 Add x7 -1 Mul x7 Mul Mul Mul tan cosh x0 sec cosh x0 sinh x0 Pow sec cosh x0 -1 Pow Add 1 Mul -1 Mul Add x7 Pow log sec cosh x0 x7 Add x7 Pow log sec cosh x0 x7 -1 