acsch atan Pow Pow tanh E sqrt Add x0 3 Add -1 Add sec x6 x0 
Mul Mul -1 Mul Mul Pow Pow tanh E sqrt Add x0 3 Add Add -1 Add sec x6 x0 -1 Add Mul Add -1 Add sec x6 x0 Mul Pow tanh E Add sqrt Add x0 3 -1 Mul Mul tanh E log tanh E Pow Mul 2 sqrt Add x0 3 -1 Mul Pow tanh E sqrt Add x0 3 log Pow tanh E sqrt Add x0 3 Pow Add 1 Mul Pow Pow tanh E sqrt Add x0 3 Add -1 Add sec x6 x0 Pow Pow tanh E sqrt Add x0 3 Add -1 Add sec x6 x0 -1 Pow Mul Mul atan Pow Pow tanh E sqrt Add x0 3 Add -1 Add sec x6 x0 atan Pow Pow tanh E sqrt Add x0 3 Add -1 Add sec x6 x0 sqrt Add 1 Mul -1 Pow Mul atan Pow Pow tanh E sqrt Add x0 3 Add -1 Add sec x6 x0 atan Pow Pow tanh E sqrt Add x0 3 Add -1 Add sec x6 x0 -1 -1 