Mul Pow tan x0 acosh Add 2 Mul E x0 asinh x6 
Mul asinh x6 Mul Pow tan x0 Add acosh Add 2 Mul E x0 -1 Add Mul acosh Add 2 Mul E x0 Pow sec x0 2 Mul Mul tan x0 log tan x0 Mul E Pow Mul sqrt Add Add 2 Mul E x0 -1 sqrt Add 1 Add 2 Mul E x0 -1 