Mul x5 Pow tan x0 Pow Mul x0 x0 asin Mul x0 Mul 2 sinh Add x0 x6 
Mul x5 Mul Pow tan x0 Add Pow Mul x0 x0 asin Mul x0 Mul 2 sinh Add x0 x6 -1 Add Mul Pow Mul x0 x0 asin Mul x0 Mul 2 sinh Add x0 x6 Pow sec x0 2 Mul Mul tan x0 log tan x0 Mul Pow Mul x0 x0 Add asin Mul x0 Mul 2 sinh Add x0 x6 -1 Add Mul asin Mul x0 Mul 2 sinh Add x0 x6 Add x0 x0 Mul Mul Mul x0 x0 log Mul x0 x0 Mul Add Mul 2 sinh Add x0 x6 Mul x0 Mul 2 cosh Add x0 x6 Pow sqrt Add 1 Mul -1 Mul Mul x0 Mul 2 sinh Add x0 x6 Mul x0 Mul 2 sinh Add x0 x6 -1 