acosh Pow x2 Pow Mul Mul x7 Mul acot x7 Add x0 Pow x0 -5 x5 Add Add x7 x0 cosh x0 
Mul Mul Pow x2 Add Pow Mul Mul x7 Mul acot x7 Add x0 Pow x0 -5 x5 Add Add x7 x0 cosh x0 -1 Mul Mul x2 log x2 Mul Pow Mul Mul x7 Mul acot x7 Add x0 Pow x0 -5 x5 Add Add Add x7 x0 cosh x0 -1 Add Mul Add Add x7 x0 cosh x0 Mul x5 Mul x7 Mul acot x7 Add 1 Mul Pow x0 6 -5 Mul Mul Mul Mul x7 Mul acot x7 Add x0 Pow x0 -5 x5 log Mul Mul x7 Mul acot x7 Add x0 Pow x0 -5 x5 Add 1 sinh x0 Pow Mul sqrt Add Pow x2 Pow Mul Mul x7 Mul acot x7 Add x0 Pow x0 -5 x5 Add Add x7 x0 cosh x0 -1 sqrt Add 1 Pow x2 Pow Mul Mul x7 Mul acot x7 Add x0 Pow x0 -5 x5 Add Add x7 x0 cosh x0 -1 