sin Mul Add Pow Pow Add Mul -3 x0 x0 x0 Mul x0 8 x5 exp atan exp acoth Mul x3 x0 
Mul cos Mul Add Pow Pow Add Mul -3 x0 x0 x0 Mul x0 8 x5 exp atan exp acoth Mul x3 x0 Add Mul exp atan exp acoth Mul x3 x0 Mul Pow Pow Add Mul -3 x0 x0 x0 Add Mul x0 8 -1 Add Mul Mul x0 8 Mul Pow Add Mul -3 x0 x0 Add x0 -1 Add Mul x0 2 Mul Add Mul -3 x0 x0 log Add Mul -3 x0 x0 Mul Mul Pow Add Mul -3 x0 x0 x0 log Pow Add Mul -3 x0 x0 x0 8 Mul Add Pow Pow Add Mul -3 x0 x0 x0 Mul x0 8 x5 Mul exp atan exp acoth Mul x3 x0 Mul Mul exp acoth Mul x3 x0 Mul x3 Pow Add 1 Mul -1 Mul Mul x3 x0 Mul x3 x0 -1 Pow Add 1 Mul exp acoth Mul x3 x0 exp acoth Mul x3 x0 -1 