atanh Pow Pow Mul Pow Add x0 Mul x4 x0 Pow acosh x4 Mul x1 asech Add exp pi x0 x0 x7 x0 
Mul Mul Pow Pow Mul Pow Add x0 Mul x4 x0 Pow acosh x4 Mul x1 asech Add exp pi x0 x0 x7 Add x0 -1 Add Mul x0 Mul Pow Mul Pow Add x0 Mul x4 x0 Pow acosh x4 Mul x1 asech Add exp pi x0 x0 Add x7 -1 Mul x7 Add Mul x0 Mul Pow Add x0 Mul x4 x0 Add Pow acosh x4 Mul x1 asech Add exp pi x0 -1 Add Mul Pow acosh x4 Mul x1 asech Add exp pi x0 Add 1 x4 Mul Mul Add x0 Mul x4 x0 log Add x0 Mul x4 x0 Mul Pow acosh x4 Add Mul x1 asech Add exp pi x0 -1 Mul Mul acosh x4 log acosh x4 Mul x1 Pow Mul Mul Add exp pi x0 Add exp pi x0 sqrt Add 1 Mul -1 Pow Mul Add exp pi x0 Add exp pi x0 -1 -1 Pow Add x0 Mul x4 x0 Pow acosh x4 Mul x1 asech Add exp pi x0 Mul Pow Mul Pow Add x0 Mul x4 x0 Pow acosh x4 Mul x1 asech Add exp pi x0 x0 x7 log Pow Mul Pow Add x0 Mul x4 x0 Pow acosh x4 Mul x1 asech Add exp pi x0 x0 x7 Pow Add 1 Mul -1 Mul Pow Pow Mul Pow Add x0 Mul x4 x0 Pow acosh x4 Mul x1 asech Add exp pi x0 x0 x7 x0 Pow Pow Mul Pow Add x0 Mul x4 x0 Pow acosh x4 Mul x1 asech Add exp pi x0 x0 x7 x0 -1 