Pow x0 Add Add -1 Pow x0 Pow exp acot Pow x6 x7 Pow acot asech x1 log Mul x0 x0 x5 
Mul Pow x0 Add Add Add -1 Pow x0 Pow exp acot Pow x6 x7 Pow acot asech x1 log Mul x0 x0 x5 -1 Add Add Add -1 Pow x0 Pow exp acot Pow x6 x7 Pow acot asech x1 log Mul x0 x0 x5 Mul Mul x0 log x0 Mul Pow x0 Add Pow exp acot Pow x6 x7 Pow acot asech x1 log Mul x0 x0 -1 Add Pow exp acot Pow x6 x7 Pow acot asech x1 log Mul x0 x0 Mul Mul x0 log x0 Mul Pow exp acot Pow x6 x7 Add Pow acot asech x1 log Mul x0 x0 -1 Mul Mul exp acot Pow x6 x7 log exp acot Pow x6 x7 Mul Pow acot asech x1 Add log Mul x0 x0 -1 Mul Mul acot asech x1 log acot asech x1 Mul Add x0 x0 Pow Mul x0 x0 -1 