Mul Mul asin Add Mul acosh Mul 3 Add x1 x0 tanh x1 log acot x0 x0 -4 
Mul -4 Add Mul x0 Mul Add Mul tanh x1 Mul 3 Pow Mul sqrt Add Mul 3 Add x1 x0 -1 sqrt Add 1 Mul 3 Add x1 x0 -1 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow acot x0 -1 Pow sqrt Add 1 Mul -1 Mul Add Mul acosh Mul 3 Add x1 x0 tanh x1 log acot x0 Add Mul acosh Mul 3 Add x1 x0 tanh x1 log acot x0 -1 asin Add Mul acosh Mul 3 Add x1 x0 tanh x1 log acot x0 