Mul x0 Add Mul Pow sech cot x0 sqrt Add x0 Add Add acosh Mul x7 E x0 Mul atan Mul x0 2 3 x0 -3 
Add Add Mul Pow sech cot x0 sqrt Add x0 Add Add acosh Mul x7 E x0 Mul atan Mul x0 2 3 x0 -3 Mul x0 Add Mul x0 Mul Pow sech cot x0 Add sqrt Add x0 Add Add acosh Mul x7 E x0 Mul atan Mul x0 2 3 -1 Add Mul sqrt Add x0 Add Add acosh Mul x7 E x0 Mul atan Mul x0 2 3 Mul Mul tanh cot x0 Mul -1 sech cot x0 Mul -1 Pow csc x0 2 Mul Mul sech cot x0 log sech cot x0 Mul Pow Mul 2 sqrt Add x0 Add Add acosh Mul x7 E x0 Mul atan Mul x0 2 3 -1 Add 1 Add 1 Mul 3 Mul 2 Pow Add 1 Mul Mul x0 2 Mul x0 2 -1 Pow sech cot x0 sqrt Add x0 Add Add acosh Mul x7 E x0 Mul atan Mul x0 2 3 