Pow acoth x6 Pow Mul x6 Add -2 x0 Mul Mul x3 sec x0 cot Pow Add E 0.523598775598299 acos x0 
Mul Pow acoth x6 Add Pow Mul x6 Add -2 x0 Mul Mul x3 sec x0 cot Pow Add E 0.523598775598299 acos x0 -1 Mul Mul acoth x6 log acoth x6 Mul Pow Mul x6 Add -2 x0 Add Mul Mul x3 sec x0 cot Pow Add E 0.523598775598299 acos x0 -1 Add Mul Mul Mul x3 sec x0 cot Pow Add E 0.523598775598299 acos x0 x6 Mul Mul Mul x6 Add -2 x0 log Mul x6 Add -2 x0 Add Mul cot Pow Add E 0.523598775598299 acos x0 Mul x3 Mul tan x0 sec x0 Mul Mul x3 sec x0 Mul Mul -1 Pow csc Pow Add E 0.523598775598299 acos x0 2 Mul Pow Add E 0.523598775598299 Add acos x0 -1 Mul Mul Add E 0.523598775598299 log Add E 0.523598775598299 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 