Add Pow x0 Mul x0 atanh cot asech x1 atan Pow Add Mul Mul x0 -1 x5 x0 Add cosh x1 x0 
Add Mul Pow x0 Add Mul x0 atanh cot asech x1 -1 Add Mul x0 atanh cot asech x1 Mul Mul x0 log x0 atanh cot asech x1 Mul Mul Pow Add Mul Mul x0 -1 x5 x0 Add Add cosh x1 x0 -1 Add Mul Add cosh x1 x0 Add Mul x5 -1 1 Mul Add Mul Mul x0 -1 x5 x0 log Add Mul Mul x0 -1 x5 x0 Pow Add 1 Mul Pow Add Mul Mul x0 -1 x5 x0 Add cosh x1 x0 Pow Add Mul Mul x0 -1 x5 x0 Add cosh x1 x0 -1 