Mul log sec Add asin acsch x0 Add sec x0 x3 x0 
Add Mul x0 Mul Mul Mul tan Add asin acsch x0 Add sec x0 x3 sec Add asin acsch x0 Add sec x0 x3 Add Mul Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul acsch x0 acsch x0 -1 Mul tan x0 sec x0 Pow sec Add asin acsch x0 Add sec x0 x3 -1 log sec Add asin acsch x0 Add sec x0 x3 