Mul Add asinh Add tan acoth Add acot x0 sqrt atan x0 Pow x0 3 -3 Add x0 asinh x7 
Add Mul Add x0 asinh x7 Mul Add Mul Pow sec acoth Add acot x0 sqrt atan x0 2 Mul Add Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Pow Mul 2 sqrt atan x0 -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Add acot x0 sqrt atan x0 Add acot x0 sqrt atan x0 -1 Mul Pow x0 2 3 Pow sqrt Add 1 Mul Add tan acoth Add acot x0 sqrt atan x0 Pow x0 3 Add tan acoth Add acot x0 sqrt atan x0 Pow x0 3 -1 Add asinh Add tan acoth Add acot x0 sqrt atan x0 Pow x0 3 -3 