Pow Pow Add x0 acot Add Add Pow x0 Pow Pow atan acosh x0 exp x4 -3 x3 -1 Pow x0 acot sec x0 -2 
Mul Pow Pow Add x0 acot Add Add Pow x0 Pow Pow atan acosh x0 exp x4 -3 x3 -1 Pow x0 acot sec x0 3 Mul -2 Mul Pow Add x0 acot Add Add Pow x0 Pow Pow atan acosh x0 exp x4 -3 x3 -1 Add Pow x0 acot sec x0 -1 Add Mul Pow x0 acot sec x0 Add 1 Mul -1 Mul Mul Pow x0 Add Pow Pow atan acosh x0 exp x4 -3 -1 Add Pow Pow atan acosh x0 exp x4 -3 Mul Mul x0 log x0 Mul Pow Pow atan acosh x0 exp x4 4 Mul -3 Mul Pow atan acosh x0 Add exp x4 -1 Mul exp x4 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul acosh x0 acosh x0 -1 Pow Add 1 Mul Add Add Pow x0 Pow Pow atan acosh x0 exp x4 -3 x3 -1 Add Add Pow x0 Pow Pow atan acosh x0 exp x4 -3 x3 -1 -1 Mul Mul Add x0 acot Add Add Pow x0 Pow Pow atan acosh x0 exp x4 -3 x3 -1 log Add x0 acot Add Add Pow x0 Pow Pow atan acosh x0 exp x4 -3 x3 -1 Mul Pow x0 Add acot sec x0 -1 Add acot sec x0 Mul Mul x0 log x0 Mul -1 Mul Mul tan x0 sec x0 Pow Add 1 Mul sec x0 sec x0 -1 