cosh Pow Mul Pow acoth pi x0 3 Pow exp x0 x5 
Mul sinh Pow Mul Pow acoth pi x0 3 Pow exp x0 x5 Mul Pow Mul Pow acoth pi x0 3 Add Pow exp x0 x5 -1 Add Mul Pow exp x0 x5 Mul 3 Mul Pow acoth pi Add x0 -1 Mul acoth pi log acoth pi Mul Mul Mul Pow acoth pi x0 3 log Mul Pow acoth pi x0 3 Mul Pow exp x0 Add x5 -1 Mul x5 exp x0 