Add x2 Pow Pow asin Mul x6 -2 Mul -1 sinh x0 x0 
Mul Pow Pow asin Mul x6 -2 Mul -1 sinh x0 Add x0 -1 Add Mul x0 Mul Pow asin Mul x6 -2 Add Mul -1 sinh x0 -1 Mul Mul asin Mul x6 -2 log asin Mul x6 -2 Mul -1 cosh x0 Mul Pow asin Mul x6 -2 Mul -1 sinh x0 log Pow asin Mul x6 -2 Mul -1 sinh x0 