Pow asinh x4 Pow Pow x2 log x0 Add acot x0 Add Add x0 x0 -3 
Mul Pow asinh x4 Add Pow Pow x2 log x0 Add acot x0 Add Add x0 x0 -3 -1 Mul Mul asinh x4 log asinh x4 Mul Pow Pow x2 log x0 Add Add acot x0 Add Add x0 x0 -3 -1 Add Mul Add acot x0 Add Add x0 x0 -3 Mul Pow x2 Add log x0 -1 Mul Mul x2 log x2 Pow x0 -1 Mul Mul Pow x2 log x0 log Pow x2 log x0 Add Mul -1 Pow Add 1 Mul x0 x0 -1 2 