Pow Add Add -3 x1 atanh Mul Pow asec cos x1 x1 x0 acoth Mul x1 x0 
Mul Pow Add Add -3 x1 atanh Mul Pow asec cos x1 x1 x0 Add acoth Mul x1 x0 -1 Add Mul acoth Mul x1 x0 Mul Pow asec cos x1 x1 Pow Add 1 Mul -1 Mul Mul Pow asec cos x1 x1 x0 Mul Pow asec cos x1 x1 x0 -1 Mul Mul Add Add -3 x1 atanh Mul Pow asec cos x1 x1 x0 log Add Add -3 x1 atanh Mul Pow asec cos x1 x1 x0 Mul x1 Pow Add 1 Mul -1 Mul Mul x1 x0 Mul x1 x0 -1 