Pow asinh Mul asec x5 Mul acsch x5 x7 asin x0 
Mul Pow asinh Mul asec x5 Mul acsch x5 x7 Add asin x0 -1 Mul Mul asinh Mul asec x5 Mul acsch x5 x7 log asinh Mul asec x5 Mul acsch x5 x7 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 