sec cos Pow pi Mul acoth sinh sin cot x5 Pow x1 x0 
Mul Mul tan cos Pow pi Mul acoth sinh sin cot x5 Pow x1 x0 sec cos Pow pi Mul acoth sinh sin cot x5 Pow x1 x0 Mul Mul -1 sin Pow pi Mul acoth sinh sin cot x5 Pow x1 x0 Mul Pow pi Add Mul acoth sinh sin cot x5 Pow x1 x0 -1 Mul Mul pi log pi Mul acoth sinh sin cot x5 Mul Pow x1 Add x0 -1 Mul x1 log x1 