asin Add x7 atan Mul x0 Mul Mul x0 Add atan sech asech x1 x0 Pow Mul x1 Mul -2 x0 acosh x5 
Mul Mul Add Mul Mul x0 Add atan sech asech x1 x0 Pow Mul x1 Mul -2 x0 acosh x5 Mul x0 Add Mul Pow Mul x1 Mul -2 x0 acosh x5 Add Add atan sech asech x1 x0 x0 Mul Mul x0 Add atan sech asech x1 x0 Mul Pow Mul x1 Mul -2 x0 Add acosh x5 -1 Mul acosh x5 Mul x1 -2 Pow Add 1 Mul Mul x0 Mul Mul x0 Add atan sech asech x1 x0 Pow Mul x1 Mul -2 x0 acosh x5 Mul x0 Mul Mul x0 Add atan sech asech x1 x0 Pow Mul x1 Mul -2 x0 acosh x5 -1 Pow sqrt Add 1 Mul -1 Mul Add x7 atan Mul x0 Mul Mul x0 Add atan sech asech x1 x0 Pow Mul x1 Mul -2 x0 acosh x5 Add x7 atan Mul x0 Mul Mul x0 Add atan sech asech x1 x0 Pow Mul x1 Mul -2 x0 acosh x5 -1 