Mul atanh acot Mul x0 Add acot Mul x3 log asec x0 -4 Add acoth Add x0 -2 Pow E acosh x0 
Add Mul Add acoth Add x0 -2 Pow E acosh x0 Mul Mul -1 Mul Add Add acot Mul x3 log asec x0 -4 Mul x0 Mul -1 Mul Mul x3 Mul Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow asec x0 -1 Pow Add 1 Mul Mul x3 log asec x0 Mul x3 log asec x0 -1 Pow Add 1 Mul Mul x0 Add acot Mul x3 log asec x0 -4 Mul x0 Add acot Mul x3 log asec x0 -4 -1 Pow Add 1 Mul -1 Mul acot Mul x0 Add acot Mul x3 log asec x0 -4 acot Mul x0 Add acot Mul x3 log asec x0 -4 -1 Mul atanh acot Mul x0 Add acot Mul x3 log asec x0 -4 Add Pow Add 1 Mul -1 Mul Add x0 -2 Add x0 -2 -1 Mul Pow E Add acosh x0 -1 Mul Mul E log E Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 