acosh cos Add tan Mul x1 Add Mul -2 sinh Mul Pow asin x7 x0 -2 x0 Add x2 2.23606797749979 
Mul Mul Mul -1 sin Add tan Mul x1 Add Mul -2 sinh Mul Pow asin x7 x0 -2 x0 Add x2 2.23606797749979 Mul Pow sec Mul x1 Add Mul -2 sinh Mul Pow asin x7 x0 -2 x0 2 Mul x1 Add Mul -2 Mul cosh Mul Pow asin x7 x0 -2 Mul -2 Mul Pow asin x7 Add x0 -1 Mul asin x7 log asin x7 1 Pow Mul sqrt Add cos Add tan Mul x1 Add Mul -2 sinh Mul Pow asin x7 x0 -2 x0 Add x2 2.23606797749979 -1 sqrt Add 1 cos Add tan Mul x1 Add Mul -2 sinh Mul Pow asin x7 x0 -2 x0 Add x2 2.23606797749979 -1 