Add Mul Pow acosh Mul Mul Mul x0 acot x7 Add x0 -3 atanh x0 -4 x3 Pow asinh E x0 
Add Mul x3 Mul Pow acosh Mul Mul Mul x0 acot x7 Add x0 -3 atanh x0 5 Mul -4 Mul Add Mul atanh x0 Add Mul Add x0 -3 acot x7 Mul x0 acot x7 Mul Mul Mul x0 acot x7 Add x0 -3 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add Mul Mul Mul x0 acot x7 Add x0 -3 atanh x0 -1 sqrt Add 1 Mul Mul Mul x0 acot x7 Add x0 -3 atanh x0 -1 Mul Pow asinh E Add x0 -1 Mul asinh E log asinh E 