Pow Add Mul x0 x0 Add x0 Pow acot sqrt x0 Mul sech x5 Mul x0 x0 x7 
Mul Pow Add Mul x0 x0 Add x0 Pow acot sqrt x0 Mul sech x5 Mul x0 x0 Add x7 -1 Mul x7 Add Add x0 x0 Add 1 Mul Pow acot sqrt x0 Add Mul sech x5 Mul x0 x0 -1 Add Mul Mul sech x5 Mul x0 x0 Mul -1 Mul Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul sqrt x0 sqrt x0 -1 Mul Mul acot sqrt x0 log acot sqrt x0 Mul sech x5 Add x0 x0 