Mul x0 Add tan x0 acoth exp Mul Pow Add Pow x0 x3 Add x0 -2 Pow Pow x0 0.999909204262595 x0 x3 
Add Add tan x0 acoth exp Mul Pow Add Pow x0 x3 Add x0 -2 Pow Pow x0 0.999909204262595 x0 x3 Mul x0 Add Pow sec x0 2 Mul Mul exp Mul Pow Add Pow x0 x3 Add x0 -2 Pow Pow x0 0.999909204262595 x0 x3 Mul x3 Mul Pow Add Pow x0 x3 Add x0 -2 Add Pow Pow x0 0.999909204262595 x0 -1 Add Mul Pow Pow x0 0.999909204262595 x0 Add Mul Pow x0 Add x3 -1 x3 1 Mul Mul Add Pow x0 x3 Add x0 -2 log Add Pow x0 x3 Add x0 -2 Mul Pow Pow x0 0.999909204262595 Add x0 -1 Add Mul x0 Mul Pow x0 -9.07957374048918e-5 0.999909204262595 Mul Pow x0 0.999909204262595 log Pow x0 0.999909204262595 Pow Add 1 Mul -1 Mul exp Mul Pow Add Pow x0 x3 Add x0 -2 Pow Pow x0 0.999909204262595 x0 x3 exp Mul Pow Add Pow x0 x3 Add x0 -2 Pow Pow x0 0.999909204262595 x0 x3 -1 