tan Pow x0 Add Mul Mul Mul x5 3.12363642350708 x0 acosh atan x0 -5 
Mul Pow sec Pow x0 Add Mul Mul Mul x5 3.12363642350708 x0 acosh atan x0 -5 2 Mul Pow x0 Add Add Mul Mul Mul x5 3.12363642350708 x0 acosh atan x0 -5 -1 Add Add Mul Mul Mul x5 3.12363642350708 x0 acosh atan x0 -5 Mul Mul x0 log x0 Add Mul acosh atan x0 Mul x5 3.12363642350708 Mul Mul Mul x5 3.12363642350708 x0 Mul Pow Add 1 Mul x0 x0 -1 Pow Mul sqrt Add atan x0 -1 sqrt Add 1 atan x0 -1 