Add Mul Pow Pow x3 x0 Mul x4 Mul Pow Add x4 x0 -4 Pow acot x0 Mul Mul x0 x0 asec acoth x0 x1 sinh x0 
Add Mul x1 Mul Pow Pow x3 x0 Add Mul x4 Mul Pow Add x4 x0 -4 Pow acot x0 Mul Mul x0 x0 asec acoth x0 -1 Add Mul Mul x4 Mul Pow Add x4 x0 -4 Pow acot x0 Mul Mul x0 x0 asec acoth x0 Mul Pow x3 Add x0 -1 Mul x3 log x3 Mul Mul Pow x3 x0 log Pow x3 x0 Mul x4 Add Mul Pow acot x0 Mul Mul x0 x0 asec acoth x0 Mul Pow Add x4 x0 5 -4 Mul Pow Add x4 x0 -4 Mul Pow acot x0 Add Mul Mul x0 x0 asec acoth x0 -1 Add Mul Mul Mul x0 x0 asec acoth x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Add Mul asec acoth x0 Add x0 x0 Mul Mul x0 x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acoth x0 acoth x0 -1 acoth x0 acoth x0 -1 cosh x0 