atan Mul Pow x0 x0 Mul -4 Pow sqrt acoth x3 sec Add Pow Add -1 log asin Add x0 csch x0 x0 x0 
Mul Add Mul Mul -4 Pow sqrt acoth x3 sec Add Pow Add -1 log asin Add x0 csch x0 x0 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Pow x0 x0 Mul -4 Mul Pow sqrt acoth x3 Add sec Add Pow Add -1 log asin Add x0 csch x0 x0 x0 -1 Mul Mul sqrt acoth x3 log sqrt acoth x3 Mul Mul tan Add Pow Add -1 log asin Add x0 csch x0 x0 x0 sec Add Pow Add -1 log asin Add x0 csch x0 x0 x0 Add Mul Pow Add -1 log asin Add x0 csch x0 Add x0 -1 Add Mul x0 Mul Mul Add 1 Mul Mul -1 coth x0 csch x0 Pow sqrt Add 1 Mul -1 Mul Add x0 csch x0 Add x0 csch x0 -1 Pow asin Add x0 csch x0 -1 Mul Add -1 log asin Add x0 csch x0 log Add -1 log asin Add x0 csch x0 1 Pow Add 1 Mul Mul Pow x0 x0 Mul -4 Pow sqrt acoth x3 sec Add Pow Add -1 log asin Add x0 csch x0 x0 x0 Mul Pow x0 x0 Mul -4 Pow sqrt acoth x3 sec Add Pow Add -1 log asin Add x0 csch x0 x0 x0 -1 