Add Mul Pow x2 x0 Add x3 Mul -2 Mul x0 sec Add asec x0 Pow asinh x0 -2 0.540302305868140 
Add Mul Add x3 Mul -2 Mul x0 sec Add asec x0 Pow asinh x0 -2 Mul Pow x2 Add x0 -1 Mul x2 log x2 Mul Pow x2 x0 Mul -2 Add sec Add asec x0 Pow asinh x0 -2 Mul x0 Mul Mul tan Add asec x0 Pow asinh x0 -2 sec Add asec x0 Pow asinh x0 -2 Add Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul Pow asinh x0 3 Mul -2 Pow sqrt Add 1 Mul x0 x0 -1 