Pow x0 Add x0 sec Mul x0 Mul Add Mul x3 Pow x7 acosh Pow -4 x1 Mul -3 log Add 4 x0 0.265802228834080 
Mul Pow x0 Add Add x0 sec Mul x0 Mul Add Mul x3 Pow x7 acosh Pow -4 x1 Mul -3 log Add 4 x0 0.265802228834080 -1 Add Add x0 sec Mul x0 Mul Add Mul x3 Pow x7 acosh Pow -4 x1 Mul -3 log Add 4 x0 0.265802228834080 Mul Mul x0 log x0 Add 1 Mul Mul tan Mul x0 Mul Add Mul x3 Pow x7 acosh Pow -4 x1 Mul -3 log Add 4 x0 0.265802228834080 sec Mul x0 Mul Add Mul x3 Pow x7 acosh Pow -4 x1 Mul -3 log Add 4 x0 0.265802228834080 Add Mul Add Mul x3 Pow x7 acosh Pow -4 x1 Mul -3 log Add 4 x0 0.265802228834080 Mul x0 Mul 0.265802228834080 Mul -3 Pow Add 4 x0 -1 