Add x0 Add Mul log x0 acosh Pow x3 sec acot asinh x0 x0 
Add 1 Add Add Mul acosh Pow x3 sec acot asinh x0 Pow x0 -1 Mul log x0 Mul Mul Pow x3 Add sec acot asinh x0 -1 Mul Mul x3 log x3 Mul Mul tan acot asinh x0 sec acot asinh x0 Mul -1 Mul Pow sqrt Add 1 Mul x0 x0 -1 Pow Add 1 Mul asinh x0 asinh x0 -1 Pow Mul sqrt Add Pow x3 sec acot asinh x0 -1 sqrt Add 1 Pow x3 sec acot asinh x0 -1 1 