Pow acoth x5 Add Pow tanh cosh x0 x3 1.17520119364380 
Mul Pow acoth x5 Add Add Pow tanh cosh x0 x3 1.17520119364380 -1 Mul Mul acoth x5 log acoth x5 Mul Pow tanh cosh x0 Add x3 -1 Mul x3 Mul Pow sech cosh x0 2 sinh x0 