Mul x0 Mul exp tan Pow Add x0 Add acos x0 x5 Add acot Pow x3 Mul x3 x5 x0 Mul acoth x0 -1.52988565646640 
Add Mul exp tan Pow Add x0 Add acos x0 x5 Add acot Pow x3 Mul x3 x5 x0 Mul acoth x0 -1.52988565646640 Mul x0 Add Mul Mul acoth x0 -1.52988565646640 Mul exp tan Pow Add x0 Add acos x0 x5 Add acot Pow x3 Mul x3 x5 x0 Mul Pow sec Pow Add x0 Add acos x0 x5 Add acot Pow x3 Mul x3 x5 x0 2 Mul Pow Add x0 Add acos x0 x5 Add Add acot Pow x3 Mul x3 x5 x0 -1 Add Mul Add acot Pow x3 Mul x3 x5 x0 Add 1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Add x0 Add acos x0 x5 log Add x0 Add acos x0 x5 Mul exp tan Pow Add x0 Add acos x0 x5 Add acot Pow x3 Mul x3 x5 x0 Mul -1.52988565646640 Pow Add 1 Mul -1 Mul x0 x0 -1 