Mul Pow cot log tan x7 Mul Pow acosh atan x0 cosh x0 cosh tan x0 asin atanh x0 
Add Mul asin atanh x0 Mul Pow cot log tan x7 Add Mul Pow acosh atan x0 cosh x0 cosh tan x0 -1 Mul Mul cot log tan x7 log cot log tan x7 Add Mul cosh tan x0 Mul Pow acosh atan x0 Add cosh x0 -1 Add Mul cosh x0 Mul Pow Add 1 Mul x0 x0 -1 Pow Mul sqrt Add atan x0 -1 sqrt Add 1 atan x0 -1 Mul Mul acosh atan x0 log acosh atan x0 sinh x0 Mul Pow acosh atan x0 cosh x0 Mul sinh tan x0 Pow sec x0 2 Mul Pow cot log tan x7 Mul Pow acosh atan x0 cosh x0 cosh tan x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul atanh x0 atanh x0 -1 