Pow tan x3 Mul Pow sech sec x1 Pow acosh E acot Add Add x0 x0 x0 tan Mul x0 x0 
Mul Pow tan x3 Add Mul Pow sech sec x1 Pow acosh E acot Add Add x0 x0 x0 tan Mul x0 x0 -1 Mul Mul tan x3 log tan x3 Add Mul tan Mul x0 x0 Mul Pow sech sec x1 Add Pow acosh E acot Add Add x0 x0 x0 -1 Mul Mul sech sec x1 log sech sec x1 Mul Pow acosh E Add acot Add Add x0 x0 x0 -1 Mul Mul acosh E log acosh E Mul -1 Mul 3 Pow Add 1 Mul Add Add x0 x0 x0 Add Add x0 x0 x0 -1 Mul Pow sech sec x1 Pow acosh E acot Add Add x0 x0 x0 Mul Pow sec Mul x0 x0 2 Add x0 x0 