atan Add x5 Add Pow sin x0 sqrt sech cos Pow Mul acosh Mul x0 x5 -1 x3 -2 
Mul Mul Pow sin x0 Add sqrt sech cos Pow Mul acosh Mul x0 x5 -1 x3 -1 Add Mul sqrt sech cos Pow Mul acosh Mul x0 x5 -1 x3 cos x0 Mul Mul sin x0 log sin x0 Mul Pow Mul 2 sqrt sech cos Pow Mul acosh Mul x0 x5 -1 x3 -1 Mul Mul tanh cos Pow Mul acosh Mul x0 x5 -1 x3 Mul -1 sech cos Pow Mul acosh Mul x0 x5 -1 x3 Mul Mul -1 sin Pow Mul acosh Mul x0 x5 -1 x3 Mul Pow Mul acosh Mul x0 x5 -1 Add x3 -1 Mul x3 Mul -1 Mul x5 Pow Mul sqrt Add Mul x0 x5 -1 sqrt Add 1 Mul x0 x5 -1 Pow Add 1 Mul Add x5 Add Pow sin x0 sqrt sech cos Pow Mul acosh Mul x0 x5 -1 x3 -2 Add x5 Add Pow sin x0 sqrt sech cos Pow Mul acosh Mul x0 x5 -1 x3 -2 -1 