Add x0 log Add Add Pow Mul x5 acosh x6 atan x0 -4 asech Pow asinh pi 2 
Add 1 Mul Mul Pow Mul x5 acosh x6 Add atan x0 -1 Mul Mul Mul x5 acosh x6 log Mul x5 acosh x6 Pow Add 1 Mul x0 x0 -1 Pow Add Add Pow Mul x5 acosh x6 atan x0 -4 asech Pow asinh pi 2 -1 