Pow Pow asech atan Mul x0 atanh x6 x0 x5 
Mul Pow Pow asech atan Mul x0 atanh x6 x0 Add x5 -1 Mul x5 Mul Pow asech atan Mul x0 atanh x6 Add x0 -1 Add Mul x0 Mul Mul atanh x6 Pow Add 1 Mul Mul x0 atanh x6 Mul x0 atanh x6 -1 Pow Mul Mul atan Mul x0 atanh x6 atan Mul x0 atanh x6 sqrt Add 1 Mul -1 Pow Mul atan Mul x0 atanh x6 atan Mul x0 atanh x6 -1 -1 Mul asech atan Mul x0 atanh x6 log asech atan Mul x0 atanh x6 