Mul acsch x0 Pow Add acot log asec x0 Add Mul x4 x0 x4 Add x1 x1 
Add Mul Pow Add acot log asec x0 Add Mul x4 x0 x4 Add x1 x1 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul acsch x0 Mul Pow Add acot log asec x0 Add Mul x4 x0 x4 Add Add x1 x1 -1 Mul Add x1 x1 Add Mul -1 Mul 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 log asec x0 log asec x0 -1 x4 