Add x0 Add Pow Pow x0 x5 Pow Pow 5 Pow Mul x0 acosh x3 x0 Mul x0 Mul cos x5 x0 acoth x0 
Add 1 Add Mul Pow Pow x0 x5 Add Pow Pow 5 Pow Mul x0 acosh x3 x0 Mul x0 Mul cos x5 x0 -1 Add Mul Pow Pow 5 Pow Mul x0 acosh x3 x0 Mul x0 Mul cos x5 x0 Mul Pow x0 Add x5 -1 x5 Mul Mul Pow x0 x5 log Pow x0 x5 Mul Pow Pow 5 Pow Mul x0 acosh x3 x0 Add Mul x0 Mul cos x5 x0 -1 Add Mul Mul x0 Mul cos x5 x0 Mul Pow 5 Add Pow Mul x0 acosh x3 x0 -1 Mul 6.60943791243410 Mul Pow Mul x0 acosh x3 Add x0 -1 Add Mul x0 acosh x3 Mul Mul x0 acosh x3 log Mul x0 acosh x3 Mul Mul Pow 5 Pow Mul x0 acosh x3 x0 log Pow 5 Pow Mul x0 acosh x3 x0 Add Mul cos x5 x0 Mul x0 cos x5 Pow Add 1 Mul -1 Mul x0 x0 -1 