Mul Pow asech atan Mul atanh x0 Mul Pow x4 x4 -4 x2 5 
Mul 5 Mul Pow asech atan Mul atanh x0 Mul Pow x4 x4 -4 Add x2 -1 Mul x2 Mul Mul Mul Mul Pow x4 x4 -4 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Mul atanh x0 Mul Pow x4 x4 -4 Mul atanh x0 Mul Pow x4 x4 -4 -1 Pow Mul Mul atan Mul atanh x0 Mul Pow x4 x4 -4 atan Mul atanh x0 Mul Pow x4 x4 -4 sqrt Add 1 Mul -1 Pow Mul atan Mul atanh x0 Mul Pow x4 x4 -4 atan Mul atanh x0 Mul Pow x4 x4 -4 -1 -1 