Add Mul x5 acot tan log Add Mul x0 x0 sin Mul Add 2 x0 sec Pow E atanh E x0 
Add Mul x5 Mul -1 Mul Mul Pow sec log Add Mul x0 x0 sin Mul Add 2 x0 sec Pow E atanh E 2 Mul Add Add x0 x0 Mul cos Mul Add 2 x0 sec Pow E atanh E sec Pow E atanh E Pow Add Mul x0 x0 sin Mul Add 2 x0 sec Pow E atanh E -1 Pow Add 1 Mul tan log Add Mul x0 x0 sin Mul Add 2 x0 sec Pow E atanh E tan log Add Mul x0 x0 sin Mul Add 2 x0 sec Pow E atanh E -1 1 