asin Pow x0 Add Pow Pow x0 Add Add x3 Pow Add pi 4 Pow x3 sec x7 asech atanh pi x7 x0 
Mul Mul Pow x0 Add Add Pow Pow x0 Add Add x3 Pow Add pi 4 Pow x3 sec x7 asech atanh pi x7 x0 -1 Add Add Pow Pow x0 Add Add x3 Pow Add pi 4 Pow x3 sec x7 asech atanh pi x7 x0 Mul Mul x0 log x0 Add Mul Pow Pow x0 Add Add x3 Pow Add pi 4 Pow x3 sec x7 asech atanh pi Add x7 -1 Mul x7 Mul Pow x0 Add Add Add x3 Pow Add pi 4 Pow x3 sec x7 asech atanh pi -1 Add Add x3 Pow Add pi 4 Pow x3 sec x7 asech atanh pi 1 Pow sqrt Add 1 Mul -1 Mul Pow x0 Add Pow Pow x0 Add Add x3 Pow Add pi 4 Pow x3 sec x7 asech atanh pi x7 x0 Pow x0 Add Pow Pow x0 Add Add x3 Pow Add pi 4 Pow x3 sec x7 asech atanh pi x7 x0 -1 