acosh tan Mul x0 Add Mul acos Add cos x0 2 Mul Add 2 x0 x3 1.15782128234958 
Mul Mul Pow sec Mul x0 Add Mul acos Add cos x0 2 Mul Add 2 x0 x3 1.15782128234958 2 Add Add Mul acos Add cos x0 2 Mul Add 2 x0 x3 1.15782128234958 Mul x0 Add Mul Mul Add 2 x0 x3 Mul -1 Mul Mul -1 sin x0 Pow sqrt Add 1 Mul -1 Mul Add cos x0 2 Add cos x0 2 -1 Mul acos Add cos x0 2 x3 Pow Mul sqrt Add tan Mul x0 Add Mul acos Add cos x0 2 Mul Add 2 x0 x3 1.15782128234958 -1 sqrt Add 1 tan Mul x0 Add Mul acos Add cos x0 2 Mul Add 2 x0 x3 1.15782128234958 -1 