Pow atanh x0 Add Add acos Mul Pow x2 cos Pow x5 x3 Pow cosh x7 Mul x0 x3 Pow sqrt acosh x5 x0 x0 
Mul Pow atanh x0 Add Add Add acos Mul Pow x2 cos Pow x5 x3 Pow cosh x7 Mul x0 x3 Pow sqrt acosh x5 x0 x0 -1 Add Mul Add Add acos Mul Pow x2 cos Pow x5 x3 Pow cosh x7 Mul x0 x3 Pow sqrt acosh x5 x0 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul atanh x0 log atanh x0 Add Add Mul -1 Mul Mul Pow x2 cos Pow x5 x3 Mul Pow cosh x7 Add Mul x0 x3 -1 Mul Mul cosh x7 log cosh x7 x3 Pow sqrt Add 1 Mul -1 Mul Mul Pow x2 cos Pow x5 x3 Pow cosh x7 Mul x0 x3 Mul Pow x2 cos Pow x5 x3 Pow cosh x7 Mul x0 x3 -1 Mul Pow sqrt acosh x5 Add x0 -1 Mul sqrt acosh x5 log sqrt acosh x5 1 