Mul Mul Mul Add x0 Mul atan sqrt x0 x0 x0 Pow E acsch Pow acoth Pow Mul acot x0 x7 x6 x0 x0 
Add Mul x0 Add Mul Pow E acsch Pow acoth Pow Mul acot x0 x7 x6 x0 Add Mul x0 Add 1 Add Mul x0 Mul Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul sqrt x0 sqrt x0 -1 atan sqrt x0 Add x0 Mul atan sqrt x0 x0 Mul Mul Add x0 Mul atan sqrt x0 x0 x0 Mul Pow E Add acsch Pow acoth Pow Mul acot x0 x7 x6 x0 -1 Mul Mul E log E Mul Mul -1 Mul Pow acoth Pow Mul acot x0 x7 x6 Add x0 -1 Add Mul x0 Mul Mul Pow Mul acot x0 x7 Add x6 -1 Mul x6 Mul x7 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Pow Mul acot x0 x7 x6 Pow Mul acot x0 x7 x6 -1 Mul acoth Pow Mul acot x0 x7 x6 log acoth Pow Mul acot x0 x7 x6 Pow Mul Mul Pow acoth Pow Mul acot x0 x7 x6 x0 Pow acoth Pow Mul acot x0 x7 x6 x0 sqrt Add 1 Mul -1 Pow Mul Pow acoth Pow Mul acot x0 x7 x6 x0 Pow acoth Pow Mul acot x0 x7 x6 x0 -1 -1 Mul Mul Add x0 Mul atan sqrt x0 x0 x0 Pow E acsch Pow acoth Pow Mul acot x0 x7 x6 x0 