Mul sin Mul Add x0 Pow sin x0 sec Add x0 x7 acot x2 Mul x0 Mul pi log acosh x0 
Add Mul Mul x0 Mul pi log acosh x0 Mul cos Mul Add x0 Pow sin x0 sec Add x0 x7 acot x2 Mul acot x2 Add 1 Mul Pow sin x0 Add sec Add x0 x7 -1 Add Mul sec Add x0 x7 cos x0 Mul Mul sin x0 log sin x0 Mul tan Add x0 x7 sec Add x0 x7 Mul sin Mul Add x0 Pow sin x0 sec Add x0 x7 acot x2 Add Mul pi log acosh x0 Mul x0 Mul pi Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow acosh x0 -1 