Pow x2 Mul Pow log cot acos Pow sqrt asech acoth Add x7 x0 x0 sec acot x0 4 
Mul Pow x2 Add Mul Pow log cot acos Pow sqrt asech acoth Add x7 x0 x0 sec acot x0 4 -1 Mul Mul x2 log x2 Mul 4 Mul Pow log cot acos Pow sqrt asech acoth Add x7 x0 x0 Add sec acot x0 -1 Add Mul sec acot x0 Mul Mul Mul -1 Pow csc acos Pow sqrt asech acoth Add x7 x0 x0 2 Mul -1 Mul Mul Pow sqrt asech acoth Add x7 x0 Add x0 -1 Add Mul x0 Mul Pow Mul 2 sqrt asech acoth Add x7 x0 -1 Mul Pow Add 1 Mul -1 Mul Add x7 x0 Add x7 x0 -1 Pow Mul Mul acoth Add x7 x0 acoth Add x7 x0 sqrt Add 1 Mul -1 Pow Mul acoth Add x7 x0 acoth Add x7 x0 -1 -1 Mul sqrt asech acoth Add x7 x0 log sqrt asech acoth Add x7 x0 Pow sqrt Add 1 Mul -1 Mul Pow sqrt asech acoth Add x7 x0 x0 Pow sqrt asech acoth Add x7 x0 x0 -1 Pow cot acos Pow sqrt asech acoth Add x7 x0 x0 -1 Mul Mul log cot acos Pow sqrt asech acoth Add x7 x0 x0 log log cot acos Pow sqrt asech acoth Add x7 x0 x0 Mul Mul tan acot x0 sec acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 