Mul x3 csc acoth log Pow Add Add x0 x2 Add Mul x0 log acosh x1 exp pi -2 
Mul x3 Mul Mul Mul -1 cot acoth log Pow Add Add x0 x2 Add Mul x0 log acosh x1 exp pi -2 csc acoth log Pow Add Add x0 x2 Add Mul x0 log acosh x1 exp pi -2 Mul Mul Mul Pow Add Add x0 x2 Add Mul x0 log acosh x1 exp pi 3 Mul -2 Add 1 log acosh x1 Pow Pow Add Add x0 x2 Add Mul x0 log acosh x1 exp pi -2 -1 Pow Add 1 Mul -1 Mul log Pow Add Add x0 x2 Add Mul x0 log acosh x1 exp pi -2 log Pow Add Add x0 x2 Add Mul x0 log acosh x1 exp pi -2 -1 