Add atan Pow acoth Mul x4 Add x0 Add Mul 2 x0 x0 Mul asin sin x0 x0 x0 
Add Mul Mul Pow acoth Mul x4 Add x0 Add Mul 2 x0 x0 Add Mul asin sin x0 x0 -1 Add Mul Mul asin sin x0 x0 Mul Mul x4 4 Pow Add 1 Mul -1 Mul Mul x4 Add x0 Add Mul 2 x0 x0 Mul x4 Add x0 Add Mul 2 x0 x0 -1 Mul Mul acoth Mul x4 Add x0 Add Mul 2 x0 x0 log acoth Mul x4 Add x0 Add Mul 2 x0 x0 Add Mul x0 Mul cos x0 Pow sqrt Add 1 Mul -1 Mul sin x0 sin x0 -1 asin sin x0 Pow Add 1 Mul Pow acoth Mul x4 Add x0 Add Mul 2 x0 x0 Mul asin sin x0 x0 Pow acoth Mul x4 Add x0 Add Mul 2 x0 x0 Mul asin sin x0 x0 -1 1 