Pow acot sinh Mul Mul x0 Add Add pi Pow Pow x0 Mul x0 acosh x2 x0 x4 Add x0 x4 Add x0 x7 
Mul Pow acot sinh Mul Mul x0 Add Add pi Pow Pow x0 Mul x0 acosh x2 x0 x4 Add x0 x4 Add Add x0 x7 -1 Add Mul Add x0 x7 Mul -1 Mul Mul cosh Mul Mul x0 Add Add pi Pow Pow x0 Mul x0 acosh x2 x0 x4 Add x0 x4 Add Mul Add x0 x4 Add Add Add pi Pow Pow x0 Mul x0 acosh x2 x0 x4 Mul x0 Mul Pow Pow x0 Mul x0 acosh x2 Add x0 -1 Add Mul x0 Mul Pow x0 Add Mul x0 acosh x2 -1 Add Mul x0 acosh x2 Mul Mul x0 log x0 acosh x2 Mul Pow x0 Mul x0 acosh x2 log Pow x0 Mul x0 acosh x2 Mul x0 Add Add pi Pow Pow x0 Mul x0 acosh x2 x0 x4 Pow Add 1 Mul sinh Mul Mul x0 Add Add pi Pow Pow x0 Mul x0 acosh x2 x0 x4 Add x0 x4 sinh Mul Mul x0 Add Add pi Pow Pow x0 Mul x0 acosh x2 x0 x4 Add x0 x4 -1 Mul acot sinh Mul Mul x0 Add Add pi Pow Pow x0 Mul x0 acosh x2 x0 x4 Add x0 x4 log acot sinh Mul Mul x0 Add Add pi Pow Pow x0 Mul x0 acosh x2 x0 x4 Add x0 x4 