Add x0 Add Pow Pow cosh acoth x0 -5 acot x0 x4 
Add 1 Mul Pow Pow cosh acoth x0 -5 Add acot x0 -1 Add Mul acot x0 Mul Pow cosh acoth x0 6 Mul -5 Mul sinh acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Pow cosh acoth x0 -5 log Pow cosh acoth x0 -5 Mul -1 Pow Add 1 Mul x0 x0 -1 