sqrt sec Mul sech x6 acosh Pow Pow x3 Mul asin Add tan x0 x3 x3 x0 
Mul Pow Mul 2 sqrt sec Mul sech x6 acosh Pow Pow x3 Mul asin Add tan x0 x3 x3 x0 -1 Mul Mul tan Mul sech x6 acosh Pow Pow x3 Mul asin Add tan x0 x3 x3 x0 sec Mul sech x6 acosh Pow Pow x3 Mul asin Add tan x0 x3 x3 x0 Mul sech x6 Mul Mul Pow Pow x3 Mul asin Add tan x0 x3 x3 Add x0 -1 Add Mul x0 Mul Pow x3 Add Mul asin Add tan x0 x3 x3 -1 Mul Mul x3 log x3 Mul x3 Mul Pow sec x0 2 Pow sqrt Add 1 Mul -1 Mul Add tan x0 x3 Add tan x0 x3 -1 Mul Pow x3 Mul asin Add tan x0 x3 x3 log Pow x3 Mul asin Add tan x0 x3 x3 Pow Mul sqrt Add Pow Pow x3 Mul asin Add tan x0 x3 x3 x0 -1 sqrt Add 1 Pow Pow x3 Mul asin Add tan x0 x3 x3 x0 -1 