Add atan Mul acot x0 Pow csc x5 x4 Add Add x4 x4 coth Mul Add Add x0 Pow Add x5 x0 x0 x0 asin x0 
Add Mul Mul Pow csc x5 x4 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul Mul acot x0 Pow csc x5 x4 Mul acot x0 Pow csc x5 x4 -1 Mul Mul -1 Pow csch Mul Add Add x0 Pow Add x5 x0 x0 x0 asin x0 2 Add Mul asin x0 Add Add 1 Mul Pow Add x5 x0 Add x0 -1 Add x0 Mul Add x5 x0 log Add x5 x0 1 Mul Add Add x0 Pow Add x5 x0 x0 x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 