sec Mul x0 Mul Add x0 x6 Pow acot x0 Mul Pow 4 Mul Add Add 16 x0 x0 Mul 5 x0 atanh x0 
Mul Mul tan Mul x0 Mul Add x0 x6 Pow acot x0 Mul Pow 4 Mul Add Add 16 x0 x0 Mul 5 x0 atanh x0 sec Mul x0 Mul Add x0 x6 Pow acot x0 Mul Pow 4 Mul Add Add 16 x0 x0 Mul 5 x0 atanh x0 Add Mul Add x0 x6 Pow acot x0 Mul Pow 4 Mul Add Add 16 x0 x0 Mul 5 x0 atanh x0 Mul x0 Add Pow acot x0 Mul Pow 4 Mul Add Add 16 x0 x0 Mul 5 x0 atanh x0 Mul Add x0 x6 Mul Pow acot x0 Add Mul Pow 4 Mul Add Add 16 x0 x0 Mul 5 x0 atanh x0 -1 Add Mul Mul Pow 4 Mul Add Add 16 x0 x0 Mul 5 x0 atanh x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Add Mul atanh x0 Mul Pow 4 Add Mul Add Add 16 x0 x0 Mul 5 x0 -1 Mul 5.38629436111989 Add Mul Mul 5 x0 2 Mul Add Add 16 x0 x0 5 Mul Pow 4 Mul Add Add 16 x0 x0 Mul 5 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 