Mul x0 Mul Pow exp x0 cosh Add x0 sqrt pi Pow cot Add sqrt x4 x0 cosh x0 
Add Mul Pow exp x0 cosh Add x0 sqrt pi Pow cot Add sqrt x4 x0 cosh x0 Mul x0 Add Mul Pow cot Add sqrt x4 x0 cosh x0 Mul Pow exp x0 Add cosh Add x0 sqrt pi -1 Add Mul cosh Add x0 sqrt pi exp x0 Mul Mul exp x0 log exp x0 sinh Add x0 sqrt pi Mul Pow exp x0 cosh Add x0 sqrt pi Mul Pow cot Add sqrt x4 x0 Add cosh x0 -1 Add Mul cosh x0 Mul -1 Pow csc Add sqrt x4 x0 2 Mul Mul cot Add sqrt x4 x0 log cot Add sqrt x4 x0 sinh x0 