acosh Add Add Mul x4 Add x0 Pow x0 sec Pow Pow 3 x3 3 Pow acosh cos Pow x4 x5 acoth x0 acos x1 
Mul Add Mul x4 Add 1 Mul Pow x0 Add sec Pow Pow 3 x3 3 -1 sec Pow Pow 3 x3 3 Mul Pow acosh cos Pow x4 x5 Add acoth x0 -1 Mul Mul acosh cos Pow x4 x5 log acosh cos Pow x4 x5 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add Add Add Mul x4 Add x0 Pow x0 sec Pow Pow 3 x3 3 Pow acosh cos Pow x4 x5 acoth x0 acos x1 -1 sqrt Add 1 Add Add Mul x4 Add x0 Pow x0 sec Pow Pow 3 x3 3 Pow acosh cos Pow x4 x5 acoth x0 acos x1 -1 