atanh Mul Mul Add asech x0 cot x0 Mul x0 0.999909204262595 Add x0 x1 
Mul Add Mul Add x0 x1 Add Mul Mul x0 0.999909204262595 Add Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul -1 Pow csc x0 2 Mul Add asech x0 cot x0 0.999909204262595 Mul Add asech x0 cot x0 Mul x0 0.999909204262595 Pow Add 1 Mul -1 Mul Mul Mul Add asech x0 cot x0 Mul x0 0.999909204262595 Add x0 x1 Mul Mul Add asech x0 cot x0 Mul x0 0.999909204262595 Add x0 x1 -1 