Add x6 Add 2 Pow Pow Add Pow x0 Add Mul acosh x0 x2 Mul acot acosh x0 x0 x0 Mul x0 x4 x4 
Mul Pow Pow Add Pow x0 Add Mul acosh x0 x2 Mul acot acosh x0 x0 x0 Mul x0 x4 Add x4 -1 Mul x4 Mul Pow Add Pow x0 Add Mul acosh x0 x2 Mul acot acosh x0 x0 x0 Add Mul x0 x4 -1 Add Mul Mul x0 x4 Add Mul Pow x0 Add Add Mul acosh x0 x2 Mul acot acosh x0 x0 -1 Add Add Mul acosh x0 x2 Mul acot acosh x0 x0 Mul Mul x0 log x0 Add Mul x2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Add Mul x0 Mul -1 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul acosh x0 acosh x0 -1 acot acosh x0 1 Mul Mul Add Pow x0 Add Mul acosh x0 x2 Mul acot acosh x0 x0 x0 log Add Pow x0 Add Mul acosh x0 x2 Mul acot acosh x0 x0 x0 x4 