acos tan Pow Add Pow Pow Mul Mul x0 x0 x0 x0 4 Pow Add x0 Add acosh x0 x0 x4 x3 
Mul -1 Mul Mul Pow sec Pow Add Pow Pow Mul Mul x0 x0 x0 x0 4 Pow Add x0 Add acosh x0 x0 x4 x3 2 Mul Pow Add Pow Pow Mul Mul x0 x0 x0 x0 4 Pow Add x0 Add acosh x0 x0 x4 Add x3 -1 Mul x3 Add Mul Pow Pow Mul Mul x0 x0 x0 x0 3 Mul 4 Mul Pow Mul Mul x0 x0 x0 Add x0 -1 Add Mul x0 Add Mul x0 Add x0 x0 Mul x0 x0 Mul Mul Mul x0 x0 x0 log Mul Mul x0 x0 x0 Mul Pow Add x0 Add acosh x0 x0 Add x4 -1 Mul x4 Add 1 Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 Pow sqrt Add 1 Mul -1 Mul tan Pow Add Pow Pow Mul Mul x0 x0 x0 x0 4 Pow Add x0 Add acosh x0 x0 x4 x3 tan Pow Add Pow Pow Mul Mul x0 x0 x0 x0 4 Pow Add x0 Add acosh x0 x0 x4 x3 -1 