acos Add Mul x0 acos Mul sin x0 Mul Pow exp x7 Pow asech x0 x3 x0 Pow x0 Add acosh x2 x7 
Mul -1 Mul Add Add acos Mul sin x0 Mul Pow exp x7 Pow asech x0 x3 x0 Mul x0 Mul -1 Mul Add Mul Mul Pow exp x7 Pow asech x0 x3 x0 cos x0 Mul sin x0 Add Mul x0 Mul Pow exp x7 Add Pow asech x0 x3 -1 Mul Mul exp x7 log exp x7 Mul Pow asech x0 Add x3 -1 Mul x3 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow exp x7 Pow asech x0 x3 Pow sqrt Add 1 Mul -1 Mul Mul sin x0 Mul Pow exp x7 Pow asech x0 x3 x0 Mul sin x0 Mul Pow exp x7 Pow asech x0 x3 x0 -1 Mul Pow x0 Add Add acosh x2 x7 -1 Add acosh x2 x7 Pow sqrt Add 1 Mul -1 Mul Add Mul x0 acos Mul sin x0 Mul Pow exp x7 Pow asech x0 x3 x0 Pow x0 Add acosh x2 x7 Add Mul x0 acos Mul sin x0 Mul Pow exp x7 Pow asech x0 x3 x0 Pow x0 Add acosh x2 x7 -1 