Add x0 acosh acoth Mul acot x0 Add Add asech x0 Pow x7 Add Pow x1 sqrt x0 x5 x0 
Add 1 Mul Mul Add Mul Add Add asech x0 Pow x7 Add Pow x1 sqrt x0 x5 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Add Add Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Pow x7 Add Add Pow x1 sqrt x0 x5 -1 Mul Mul x7 log x7 Mul Pow x1 Add sqrt x0 -1 Mul Mul x1 log x1 Pow Mul 2 sqrt x0 -1 1 Pow Add 1 Mul -1 Mul Mul acot x0 Add Add asech x0 Pow x7 Add Pow x1 sqrt x0 x5 x0 Mul acot x0 Add Add asech x0 Pow x7 Add Pow x1 sqrt x0 x5 x0 -1 Pow Mul sqrt Add acoth Mul acot x0 Add Add asech x0 Pow x7 Add Pow x1 sqrt x0 x5 x0 -1 sqrt Add 1 acoth Mul acot x0 Add Add asech x0 Pow x7 Add Pow x1 sqrt x0 x5 x0 -1 