cos Pow Pow x0 Mul exp log sech x4 x3 acosh acsch pi 
Mul Mul -1 sin Pow Pow x0 Mul exp log sech x4 x3 acosh acsch pi Mul Pow Pow x0 Mul exp log sech x4 x3 Add acosh acsch pi -1 Mul acosh acsch pi Mul Pow x0 Add Mul exp log sech x4 x3 -1 Mul exp log sech x4 x3 