Pow acot Pow acoth x0 8165619676597680 acosh Mul 2 Mul Mul x0 Add x1 -4 cosh cbrt x0 
Mul Pow acot Pow acoth x0 8165619676597680 Add acosh Mul 2 Mul Mul x0 Add x1 -4 cosh cbrt x0 -1 Add Mul acosh Mul 2 Mul Mul x0 Add x1 -4 cosh cbrt x0 Mul -1 Mul Mul Pow acoth x0 8165619676597679 Mul 8165619676597680 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Pow acoth x0 8165619676597680 Pow acoth x0 8165619676597680 -1 Mul Mul acot Pow acoth x0 8165619676597680 log acot Pow acoth x0 8165619676597680 Mul Mul 2 Add Mul cosh cbrt x0 Add x1 -4 Mul Mul x0 Add x1 -4 Mul sinh cbrt x0 Pow Mul Mul 3 cbrt x0 cbrt x0 -1 Pow Mul sqrt Add Mul 2 Mul Mul x0 Add x1 -4 cosh cbrt x0 -1 sqrt Add 1 Mul 2 Mul Mul x0 Add x1 -4 cosh cbrt x0 -1 