Pow tan asinh Mul x0 sqrt x5 Add Mul x0 x3 Mul x3 2 
Mul Pow tan asinh Mul x0 sqrt x5 Add Add Mul x0 x3 Mul x3 2 -1 Add Mul Add Mul x0 x3 Mul x3 2 Mul Pow sec asinh Mul x0 sqrt x5 2 Mul sqrt x5 Pow sqrt Add 1 Mul Mul x0 sqrt x5 Mul x0 sqrt x5 -1 Mul Mul tan asinh Mul x0 sqrt x5 log tan asinh Mul x0 sqrt x5 x3 