Add sqrt asech Mul x0 sec x0 Pow Add Pow cos x0 Add acoth Pow Pow x0 x3 log x0 x1 acos E x0 
Add Mul Pow Mul 2 sqrt asech Mul x0 sec x0 -1 Mul Add sec x0 Mul x0 Mul tan x0 sec x0 Pow Mul Mul Mul x0 sec x0 Mul x0 sec x0 sqrt Add 1 Mul -1 Pow Mul Mul x0 sec x0 Mul x0 sec x0 -1 -1 Mul Pow Add Pow cos x0 Add acoth Pow Pow x0 x3 log x0 x1 acos E Add x0 -1 Add Mul x0 Mul Pow cos x0 Add Add acoth Pow Pow x0 x3 log x0 x1 -1 Add Mul Add acoth Pow Pow x0 x3 log x0 x1 Mul -1 sin x0 Mul Mul cos x0 log cos x0 Mul Mul Pow Pow x0 x3 Add log x0 -1 Add Mul log x0 Mul Pow x0 Add x3 -1 x3 Mul Mul Pow x0 x3 log Pow x0 x3 Pow x0 -1 Pow Add 1 Mul -1 Mul Pow Pow x0 x3 log x0 Pow Pow x0 x3 log x0 -1 Mul Add Pow cos x0 Add acoth Pow Pow x0 x3 log x0 x1 acos E log Add Pow cos x0 Add acoth Pow Pow x0 x3 log x0 x1 acos E 