Mul Add x4 1 Mul Mul sin acoth Add atan x0 Mul Pow acosh x6 pi x0 x0 x3 
Mul Add x4 1 Mul x3 Add Mul x0 Mul cos acoth Add atan x0 Mul Pow acosh x6 pi x0 Mul Add Pow Add 1 Mul x0 x0 -1 Pow acosh x6 pi Pow Add 1 Mul -1 Mul Add atan x0 Mul Pow acosh x6 pi x0 Add atan x0 Mul Pow acosh x6 pi x0 -1 sin acoth Add atan x0 Mul Pow acosh x6 pi x0 