Add Mul pi Pow Mul x0 x5 asin sinh x0 sec x7 
Mul pi Mul Pow Mul x0 x5 Add asin sinh x0 -1 Add Mul asin sinh x0 x5 Mul Mul Mul x0 x5 log Mul x0 x5 Mul cosh x0 Pow sqrt Add 1 Mul -1 Mul sinh x0 sinh x0 -1 