Mul x0 Pow Pow Add x0 x5 Add Mul x0 tan Pow Add Add x0 x0 pi x3 x0 acoth x2 
Add Pow Pow Add x0 x5 Add Mul x0 tan Pow Add Add x0 x0 pi x3 x0 acoth x2 Mul x0 Mul Pow Pow Add x0 x5 Add Mul x0 tan Pow Add Add x0 x0 pi x3 x0 Add acoth x2 -1 Mul acoth x2 Mul Pow Add x0 x5 Add Add Mul x0 tan Pow Add Add x0 x0 pi x3 x0 -1 Add Add Mul x0 tan Pow Add Add x0 x0 pi x3 x0 Mul Mul Add x0 x5 log Add x0 x5 Add Add tan Pow Add Add x0 x0 pi x3 Mul x0 Mul Pow sec Pow Add Add x0 x0 pi x3 2 Mul Pow Add Add x0 x0 pi Add x3 -1 Mul x3 2 1 