Pow x1 Mul exp Add Add log x0 x0 x0 Pow x0 Add 2 acoth asec x1 
Mul Pow x1 Add Mul exp Add Add log x0 x0 x0 Pow x0 Add 2 acoth asec x1 -1 Mul Mul x1 log x1 Add Mul Pow x0 Add 2 acoth asec x1 Mul exp Add Add log x0 x0 x0 Add Add Pow x0 -1 1 1 Mul exp Add Add log x0 x0 x0 Mul Pow x0 Add Add 2 acoth asec x1 -1 Add 2 acoth asec x1 