atanh Pow atanh Pow sin x0 x5 Add pi cosh x0 
Mul Mul Pow atanh Pow sin x0 x5 Add Add pi cosh x0 -1 Add Mul Add pi cosh x0 Mul Mul Pow sin x0 Add x5 -1 Mul x5 cos x0 Pow Add 1 Mul -1 Mul Pow sin x0 x5 Pow sin x0 x5 -1 Mul Mul atanh Pow sin x0 x5 log atanh Pow sin x0 x5 sinh x0 Pow Add 1 Mul -1 Mul Pow atanh Pow sin x0 x5 Add pi cosh x0 Pow atanh Pow sin x0 x5 Add pi cosh x0 -1 