Pow atanh acot Pow sinh Add x0 exp x1 x0 pi 
Mul Pow atanh acot Pow sinh Add x0 exp x1 x0 Add pi -1 Mul pi Mul Mul -1 Mul Mul Pow sinh Add x0 exp x1 Add x0 -1 Add Mul x0 cosh Add x0 exp x1 Mul sinh Add x0 exp x1 log sinh Add x0 exp x1 Pow Add 1 Mul Pow sinh Add x0 exp x1 x0 Pow sinh Add x0 exp x1 x0 -1 Pow Add 1 Mul -1 Mul acot Pow sinh Add x0 exp x1 x0 acot Pow sinh Add x0 exp x1 x0 -1 