Mul x0 Add cos asech x0 Add Add -1 asinh x0 Pow Pow x0 Mul atanh x7 3 Pow x7 x0 
Add Add cos asech x0 Add Add -1 asinh x0 Pow Pow x0 Mul atanh x7 3 Pow x7 x0 Mul x0 Add Mul Mul -1 sin asech x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Add Pow sqrt Add 1 Mul x0 x0 -1 Mul Pow Pow x0 Mul atanh x7 3 Add Pow x7 x0 -1 Add Mul Pow x7 x0 Mul Pow x0 Add Mul atanh x7 3 -1 Mul atanh x7 3 Mul Mul Pow x0 Mul atanh x7 3 log Pow x0 Mul atanh x7 3 Mul Pow x7 Add x0 -1 Mul x7 log x7 