Mul sqrt x0 Add asech x0 Mul Pow x3 Mul acsch Pow csc Add x0 x0 x2 Mul 3 Mul x7 x0 acosh x0 
Add Mul Add asech x0 Mul Pow x3 Mul acsch Pow csc Add x0 x0 x2 Mul 3 Mul x7 x0 acosh x0 Pow Mul 2 sqrt x0 -1 Mul sqrt x0 Add Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Add Mul acosh x0 Mul Pow x3 Add Mul acsch Pow csc Add x0 x0 x2 Mul 3 Mul x7 x0 -1 Mul Mul x3 log x3 Add Mul Mul 3 Mul x7 x0 Mul Mul -1 Mul Pow csc Add x0 x0 Add x2 -1 Mul x2 Mul Mul Mul -1 cot Add x0 x0 csc Add x0 x0 2 Pow Mul Mul Pow csc Add x0 x0 x2 Pow csc Add x0 x0 x2 sqrt Add 1 Mul -1 Pow Mul Pow csc Add x0 x0 x2 Pow csc Add x0 x0 x2 -1 -1 Mul acsch Pow csc Add x0 x0 x2 Mul 3 x7 Mul Pow x3 Mul acsch Pow csc Add x0 x0 x2 Mul 3 Mul x7 x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 