Pow cosh x0 Mul atan Mul x3 Mul x7 -1 asin x0 
Mul Pow cosh x0 Add Mul atan Mul x3 Mul x7 -1 asin x0 -1 Add Mul Mul atan Mul x3 Mul x7 -1 asin x0 sinh x0 Mul Mul cosh x0 log cosh x0 Mul atan Mul x3 Mul x7 -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 