Add Pow tan acos Add Pow acot x6 x6 2 Add -3 coth Add -4 Pow Add asin x0 Pow -1 x1 0.999329299739067 x0 
Add Mul Pow tan acos Add Pow acot x6 x6 2 Add Add -3 coth Add -4 Pow Add asin x0 Pow -1 x1 0.999329299739067 -1 Mul Mul tan acos Add Pow acot x6 x6 2 log tan acos Add Pow acot x6 x6 2 Mul Mul -1 Pow csch Add -4 Pow Add asin x0 Pow -1 x1 0.999329299739067 2 Mul Pow Add asin x0 Pow -1 x1 -0.000670700260932966 Mul 0.999329299739067 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 