Add Add x0 Add Mul x3 Mul acot Add x0 Pow cosh x0 2.29243166956118 tan asin x0 x2 x0 
Add Add 1 Mul x3 Add Mul tan asin x0 Mul -1 Mul Add 1 Mul Pow cosh x0 1.29243166956118 Mul 2.29243166956118 sinh x0 Pow Add 1 Mul Add x0 Pow cosh x0 2.29243166956118 Add x0 Pow cosh x0 2.29243166956118 -1 Mul acot Add x0 Pow cosh x0 2.29243166956118 Mul Pow sec asin x0 2 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 