Add -4 Pow acot Add x2 x0 Mul acosh Mul x0 Pow x0 5 Add x7 acot csch x7 
Mul Pow acot Add x2 x0 Add Mul acosh Mul x0 Pow x0 5 Add x7 acot csch x7 -1 Add Mul Mul acosh Mul x0 Pow x0 5 Add x7 acot csch x7 Mul -1 Pow Add 1 Mul Add x2 x0 Add x2 x0 -1 Mul Mul acot Add x2 x0 log acot Add x2 x0 Mul Add x7 acot csch x7 Mul Add Pow x0 5 Mul x0 Mul Pow x0 4 5 Pow Mul sqrt Add Mul x0 Pow x0 5 -1 sqrt Add 1 Mul x0 Pow x0 5 -1 